KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). 2009th ed. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, p. 105-117. ISSN 1571-0661. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{800536, author = {Křetínský, Mojmír and Řehák, Vojtěch and Strejček, Jan}, address = {Amsterdam, The Netherlands}, booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008)}, edition = {2009}, keywords = {process rewrite systems; LTL; infinite-state; model-checking; decidability}, language = {eng}, location = {Amsterdam, The Netherlands}, pages = {105-117}, publisher = {Elsevier Science Publishers}, title = {On Decidability of LTL+Past Model Checking for Process Rewrite Systems}, url = {http://dx.doi.org/10.1016/j.entcs.2009.05.033}, year = {2009} }
TY - JOUR ID - 800536 AU - Křetínský, Mojmír - Řehák, Vojtěch - Strejček, Jan PY - 2009 TI - On Decidability of LTL+Past Model Checking for Process Rewrite Systems PB - Elsevier Science Publishers CY - Amsterdam, The Netherlands KW - process rewrite systems KW - LTL KW - infinite-state KW - model-checking KW - decidability UR - http://dx.doi.org/10.1016/j.entcs.2009.05.033 N2 - The Decidability Borderline for Model Checking of LTL+Past and Weakly--Extended Process Rewrite Systems is determined. ER -
KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In \textit{Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008)}. 2009th ed. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, p.~105-117. ISSN~1571-0661.
|