Regular Linear Temporal Logic

TitleRegular Linear Temporal Logic
Publication TypeConference Paper
Year of Publication2007
AuthorsLeucker, M, Sánchez, C
EditorJones, CB, Liu, Z, Woodcock, J
Conference NameProceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07)
SeriesLecture Notes in Computer Science
Volume4711
PublisherSpringer
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}
}
Postscript: