Timo Latvala, Marko Mäkelä. LTL Model Checking for Modular Petri Nets. In Jordi Cortadella, Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings. Volume 3099 of Lecture Notes in Computer Science, pages 298-311, Springer, 2004. [doi]
@inproceedings{LatvalaM04,
title = {LTL Model Checking for Modular Petri Nets},
author = {Timo Latvala and Marko Mäkelä},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3099&spage=298},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LatvalaM04},
cites = {0},
citedby = {0},
pages = {298-311},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
editor = {Jordi Cortadella and Wolfgang Reisig},
volume = {3099},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22236-7},
}