Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi. GSTE Is Partitioned Model Checking. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 229-241, Springer, 2004. [doi]
@inproceedings{SebastianiSTV04,
title = {GSTE Is Partitioned Model Checking},
author = {Roberto Sebastiani and Eli Singerman and Stefano Tonetta and Moshe Y. Vardi},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=229},
tags = {model checking, meta-model, Meta-Environment, partitioning},
researchr = {https://researchr.org/publication/SebastianiSTV04},
cites = {0},
citedby = {0},
pages = {229-241},
booktitle = {Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
editor = {Rajeev Alur and Doron Peled},
volume = {3114},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22342-8},
}