Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani. Model Checking and the State Explosion Problem. In Bertrand Meyer, Martin Nordio, editors, Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Volume 7682 of Lecture Notes in Computer Science, pages 1-30, Springer, 2011. [doi]
@inproceedings{ClarkeKNZ11,
title = {Model Checking and the State Explosion Problem},
author = {Edmund M. Clarke and William Klieber and Milos Novácek and Paolo Zuliani},
year = {2011},
doi = {10.1007/978-3-642-35746-6_1},
url = {http://dx.doi.org/10.1007/978-3-642-35746-6_1},
researchr = {https://researchr.org/publication/ClarkeKNZ11},
cites = {0},
citedby = {0},
pages = {1-30},
booktitle = {Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures},
editor = {Bertrand Meyer and Martin Nordio},
volume = {7682},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-35746-6},
}