%0 Conference Paper %1 conf/sofsem/BrimK07 %A Brim, Lubos %A Kretínský, Mojmír %B SOFSEM (1) %D 2007 %E van Leeuwen, Jan %E Italiano, Giuseppe F. %E van der Hoek, Wiebe %E Meinel, Christoph %E Sack, Harald %E Plásil, Frantisek %I Springer %K dblp %P 9-28 %T Model-Checking Large Finite-State Systems and Beyond. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2007.html#BrimK07 %V 4362 %@ 978-3-540-69506-6

@inproceedings{conf/sofsem/BrimK07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Brim, Lubos and Kretínský, Mojmír}, biburl = {https://www.bibsonomy.org/bibtex/2b7d24dfec754e13ebfc0cc1224f6265c/dblp}, booktitle = {SOFSEM (1)}, crossref = {conf/sofsem/2007}, editor = {van Leeuwen, Jan and Italiano, Giuseppe F. and van der Hoek, Wiebe and Meinel, Christoph and Sack, Harald and Plásil, Frantisek}, ee = {https://doi.org/10.1007/978-3-540-69507-3_2}, interhash = {223cc92b60e25cc9b3c1f024650bef4d}, intrahash = {b7d24dfec754e13ebfc0cc1224f6265c}, isbn = {978-3-540-69506-6}, keywords = {dblp}, pages = {9-28}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:18:30.000+0200}, title = {Model-Checking Large Finite-State Systems and Beyond.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2007.html#BrimK07}, volume = 4362, year = 2007 }