@inproceedings{BKRS2006,
 address = {Berlin},
 author = {Laura Bozzelli and Mojmír Křetínský and Vojtěch Řehák and Jan Strejček},
 booktitle = {FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings},
 isbn = {978-3-540-49994-7},
 keywords = {infinite-state systems; linear time logic; decidability; model checking},
 language = {eng},
 location = {Berlin},
 note = {Lecture Notes in Computer Science 4337},
 pages = {248-259},
 publisher = {Springer-Verlag},
 title = {On Decidability of LTL Model Checking for Process Rewrite Systems},
 year = {2006}
}