%0 Conference Paper %1 conf/fase/BeyerL13 %A Beyer, Dirk %A Löwe, Stefan %B FASE %D 2013 %E Cortellessa, Vittorio %E Varró, Dániel %I Springer %K dblp %P 146-162 %T Explicit-State Software Model Checking Based on CEGAR and Interpolation. %U http://dblp.uni-trier.de/db/conf/fase/fase2013.html#BeyerL13 %V 7793 %@ 978-3-642-37056-4

@inproceedings{conf/fase/BeyerL13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Beyer, Dirk and Löwe, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2dc2c5ef9837d209f8f384a9cf8551c7c/dblp}, booktitle = {FASE}, crossref = {conf/fase/2013}, editor = {Cortellessa, Vittorio and Varró, Dániel}, ee = {https://doi.org/10.1007/978-3-642-37057-1_11}, interhash = {c7e750a0ae7c301a72dc14f320f523d2}, intrahash = {dc2c5ef9837d209f8f384a9cf8551c7c}, isbn = {978-3-642-37056-4}, keywords = {dblp}, pages = {146-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:58:31.000+0200}, title = {Explicit-State Software Model Checking Based on CEGAR and Interpolation.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2013.html#BeyerL13}, volume = 7793, year = 2013 }