%0 Conference Paper %1 conf/fsttcs/BozzelliKRS06 %A Bozzelli, Laura %A Kretínský, Mojmír %A Rehák, Vojtech %A Strejcek, Jan %B FSTTCS %D 2006 %E Arun-Kumar, S. %E Garg, Naveen %I Springer %K dblp %P 248-259 %T On Decidability of LTL Model Checking for Process Rewrite Systems. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2006.html#BozzelliKRS06 %V 4337 %@ 3-540-49994-6

@inproceedings{conf/fsttcs/BozzelliKRS06, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bozzelli, Laura and Kretínský, Mojmír and Rehák, Vojtech and Strejcek, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2b3c6840ac4e4444615a0a15118883c5d/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2006}, editor = {Arun-Kumar, S. and Garg, Naveen}, ee = {https://doi.org/10.1007/11944836_24}, interhash = {4e673302f965a099648df1f30ba37c7d}, intrahash = {b3c6840ac4e4444615a0a15118883c5d}, isbn = {3-540-49994-6}, keywords = {dblp}, pages = {248-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:16.000+0200}, title = {On Decidability of LTL Model Checking for Process Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2006.html#BozzelliKRS06}, volume = 4337, year = 2006 }