%0 Conference Paper %1 conf/concur/BrunsG00 %A Bruns, Glenn %A Godefroid, Patrice %B CONCUR %D 2000 %E Palamidessi, Catuscia %I Springer %K dblp %P 168-182 %T Generalized Model Checking: Reasoning about Partial State Spaces. %U http://dblp.uni-trier.de/db/conf/concur/concur2000.html#BrunsG00 %V 1877 %@ 3-540-67897-2

@inproceedings{conf/concur/BrunsG00, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bruns, Glenn and Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/213c38cd749352aefe4c37e3bc40323ea/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2000}, editor = {Palamidessi, Catuscia}, ee = {https://doi.org/10.1007/3-540-44618-4_14}, interhash = {cb8b6cef7b5ff0d4a30199efa16323d6}, intrahash = {13c38cd749352aefe4c37e3bc40323ea}, isbn = {3-540-67897-2}, keywords = {dblp}, pages = {168-182}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:29.000+0200}, title = {Generalized Model Checking: Reasoning about Partial State Spaces.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2000.html#BrunsG00}, volume = 1877, year = 2000 }