@article{BKRS2009,
 article_location = {Berlin},
 article_number = {1},
 author = {Laura Bozzelli and Mojmír Křetínský and Vojtěch Řehák and Jan Strejček},
 issn = {0001-5903},
 journal = {Acta informatica},
 keywords = {infinite-state systems; linear time logic; decidability; model checking},
 language = {eng},
 note = {DOI: 10.1007/s00236-008-0082-3},
 title = {On Decidability of LTL Model Checking for Process Rewrite Systems},
 url = {http://springerlink.com/content/4610330747913678/?p=9daadd38980f4b8695a892fd058e8e5e&pi=0},
 volume = {46},
 year = {2009}
}