Sami Evangelista, Lars Michael Kristensen. Dynamic State Space Partitioning for External Memory Model Checking. In María Alpuente, Byron Cook, Christophe Joubert, editors, Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Volume 5825 of Lecture Notes in Computer Science, pages 70-85, Springer, 2009. [doi]
@inproceedings{EvangelistaK09,
title = {Dynamic State Space Partitioning for External Memory Model Checking},
author = {Sami Evangelista and Lars Michael Kristensen},
year = {2009},
doi = {10.1007/978-3-642-04570-7_7},
url = {http://dx.doi.org/10.1007/978-3-642-04570-7_7},
tags = {model checking, meta-model, Meta-Environment, partitioning},
researchr = {https://researchr.org/publication/EvangelistaK09},
cites = {0},
citedby = {0},
pages = {70-85},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings},
editor = {María Alpuente and Byron Cook and Christophe Joubert},
volume = {5825},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04569-1},
}