Regular Linear Temporal Logic with Past
| Title | Regular Linear Temporal Logic with Past |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Sánchez, C, Leucker, M |
| Editor | Barthe, G, Hermenegildo, M |
| Conference Name | Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'10) |
| Series | Lecture Notes in Computer Science |
| Volume | 5944 |
| Publisher | Springer |
Bibtex:
@inproceedings {LeuckerSanchez10,
title = {Regular Linear Temporal Logic with Past},
booktitle = {Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI{\textquoteright}10)},
series = {Lecture Notes in Computer Science},
volume = {5944},
year = {2010},
pages = {295{\textendash}311},
publisher = {Springer},
organization = {Springer},
author = {C{\'e}sar S{\'a}nchez and Martin Leucker},
editor = {Gilles Barthe and Manuel Hermenegildo}
}PDF:
Postscript:
