@incollection{Novacek12, author = {E. M. Clarke and W. Klieber and M. Novacek and P. Zuliani}, title = {Model Checking and the State Explosion Problem}, booktitle = {Tools for Practical Software Verification}, editor = {B. Meyer and M. Nordio}, year = {2012}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, url = {https://doi.org/10.1007/978-3-642-35746-6_1}, urltext = {[Publisher]} }