%0 Conference Paper %1 conf/dagstuhl/AbdullaBM06 %A Abdulla, Parosh Aziz %A Bouajjani, Ahmed %A Müller-Olm, Markus %B Software Verification: Infinite-State Model Checking and Static Program Analysis %D 2006 %E Abdulla, Parosh Aziz %E Bouajjani, Ahmed %E Müller-Olm, Markus %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T 06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P6081.html#AbdullaBM06 %V 06081

@inproceedings{conf/dagstuhl/AbdullaBM06, added-at = {2018-08-23T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Bouajjani, Ahmed and Müller-Olm, Markus}, biburl = {https://www.bibsonomy.org/bibtex/20d8c2ea8b8d5f709646d9d7e161fcfba/dblp}, booktitle = {Software Verification: Infinite-State Model Checking and Static Program Analysis}, crossref = {conf/dagstuhl/2006P6081}, editor = {Abdulla, Parosh Aziz and Bouajjani, Ahmed and Müller-Olm, Markus}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/797}, interhash = {f929449d3b21018807b56895b62b3666}, intrahash = {0d8c2ea8b8d5f709646d9d7e161fcfba}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:08.000+0200}, title = {06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P6081.html#AbdullaBM06}, volume = 06081, year = 2006 }