Laura Bozzelli

2009

Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
On Decidability of LTL Model Checking for Process Rewrite Systems,
Acta informatica, 2009. [bibtex, url]

2006

Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
On Decidability of LTL Model Checking for Process Rewrite Systems,
FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, Springer-Verlag, 2006, 248-259. [bibtex]