BibTeX record conf/fsttcs/BozzelliKRS06

• > Home > conf/fsttcs/BozzelliKRS06

@inproceedings{DBLP:conf/fsttcs/BozzelliKRS06,
  author       = {Laura Bozzelli and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
                  Vojtech Reh{\'{a}}k and
                  Jan Strejcek},
  editor       = {S. Arun{-}Kumar and
                  Naveen Garg},
  title        = {On Decidability of {LTL} Model Checking for Process Rewrite Systems},
  booktitle    = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
                  Computer Science, 26th International Conference, Kolkata, India, December
                  13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4337},
  pages        = {248--259},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11944836\_24},
  doi          = {10.1007/11944836\_24},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BozzelliKRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}