%0 Conference Paper %1 conf/concur/GodefroidHJ01 %A Godefroid, Patrice %A Huth, Michael %A Jagadeesan, Radha %B CONCUR %D 2001 %E Larsen, Kim Guldstrand %E Nielsen, Mogens %I Springer %K dblp %P 426-440 %T Abstraction-Based Model Checking Using Modal Transition Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur2001.html#GodefroidHJ01 %V 2154 %@ 3-540-42497-0

@inproceedings{conf/concur/GodefroidHJ01, added-at = {2023-09-11T00:00:00.000+0200}, author = {Godefroid, Patrice and Huth, Michael and Jagadeesan, Radha}, biburl = {https://www.bibsonomy.org/bibtex/2f00ebde0b6d86a84272feca2831d7b61/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2001}, editor = {Larsen, Kim Guldstrand and Nielsen, Mogens}, ee = {https://doi.org/10.1007/3-540-44685-0_29}, interhash = {4f38df50ec65be973f66a94556ae1736}, intrahash = {f00ebde0b6d86a84272feca2831d7b61}, isbn = {3-540-42497-0}, keywords = {dblp}, pages = {426-440}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:06:17.000+0200}, title = {Abstraction-Based Model Checking Using Modal Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2001.html#GodefroidHJ01}, volume = 2154, year = 2001 }