@inproceedings{Barnat2015QuoVadis,
 address = {Neuveden},
 author = {Jiří Barnat},
 booktitle = {SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science},
 doi = {http://dx.doi.org/10.1007/978-3-662-46078-8_5},
 editor = {Giuseppe F. Italiano and Tiziana Margaria-Steffen and Jaroslav Pokorný and Jean-Jacques Quisquater and Roger Wattenhofer},
 howpublished = {tištěná verze "print"},
 isbn = {978-3-662-46077-1},
 keywords = {explicit-state model checking},
 language = {eng},
 location = {Neuveden},
 pages = {46-57},
 publisher = {Springer},
 title = {Quo Vadis Explicit-State Model Checking},
 url = {http://dx.doi.org/10.1007/978-3-662-46078-8_5},
 year = {2015}
}