Regular Linear Temporal Logic
| Title | Regular Linear Temporal Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Leucker, M, Sánchez, C |
| Editor | Jones, CB, Liu, Z, Woodcock, J |
| Conference Name | Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07) |
| Series | Lecture Notes in Computer Science |
| Volume | 4711 |
| Publisher | Springer |
Bibtex:
@inproceedings {LeuckerSanchez07,
title = {Regular Linear Temporal Logic},
booktitle = {Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC{\textquoteright}07)},
series = {Lecture Notes in Computer Science},
volume = {4711},
year = {2007},
pages = {291{\textendash}305},
publisher = {Springer},
organization = {Springer},
author = {Martin Leucker and C{\'e}sar S{\'a}nchez},
editor = {C. B. Jones and Z. Liu and J. Woodcock}
}PDF:
Postscript:
