A Recursive Temporal Logic
| Title | A Recursive Temporal Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Castro, PF, Kilmurray, C, Piterman, N |
| Conference Name | 17th International Conference on Formal Engineering Methods |
| Publisher | Springer-Verlag |
| Keywords | Automata, Games, Temporal Logic |
Work Package:
WP4
