@inproceedings{BK2007,
 address = {Berlin},
 author = {Luboš Brim and Mojmír Křetínský},
 booktitle = {33rd Conference on Current Trends in Theory and Practice of Computer Science},
 isbn = {978-3-540-69506-6},
 keywords = {finite and infinite-state systems; reachability; linear time logic; model checking; decidability},
 language = {eng},
 location = {Berlin},
 pages = {9-28},
 publisher = {Springer-Verlag},
 title = {Model Checking Large Finite-State Systems and Beyond},
 year = {2007}
}