%0 Conference Paper %1 conf/emsoft/Godefroid03 %A Godefroid, Patrice %B EMSOFT %D 2003 %E Alur, Rajeev %E Lee, Insup %I Springer %K dblp %P 223-240 %T Reasoning about Abstract Open Systems with Generalized Module Checking. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2003.html#Godefroid03 %V 2855 %@ 3-540-20223-4

@inproceedings{conf/emsoft/Godefroid03, added-at = {2017-05-24T00:00:00.000+0200}, author = {Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/27c4fe307eb2724a50cf64367186f9056/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2003}, editor = {Alur, Rajeev and Lee, Insup}, ee = {https://doi.org/10.1007/978-3-540-45212-6_15}, interhash = {3728b6dce5b06c6bddcc21179a2d4220}, intrahash = {7c4fe307eb2724a50cf64367186f9056}, isbn = {3-540-20223-4}, keywords = {dblp}, pages = {223-240}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:08:08.000+0200}, title = {Reasoning about Abstract Open Systems with Generalized Module Checking.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2003.html#Godefroid03}, volume = 2855, year = 2003 }