%0 Conference Paper %1 conf/fmcad/BeyerW12 %A Beyer, Dirk %A Wendler, Philipp %B FMCAD %D 2012 %E Cabodi, Gianpiero %E Singh, Satnam %I IEEE %K dblp %P 106-113 %T Algorithms for software model checking: Predicate abstraction vs. Impact. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#BeyerW12 %@ 978-1-4673-4832-4

@inproceedings{conf/fmcad/BeyerW12, added-at = {2014-12-11T00:00:00.000+0100}, author = {Beyer, Dirk and Wendler, Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2be89c9f50dbac0dc94f03fbb9ea25bea/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2012}, editor = {Cabodi, Gianpiero and Singh, Satnam}, ee = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462562}, interhash = {739ed531aa4dd7a3d76be368162b8cc5}, intrahash = {be89c9f50dbac0dc94f03fbb9ea25bea}, isbn = {978-1-4673-4832-4}, keywords = {dblp}, pages = {106-113}, publisher = {IEEE}, timestamp = {2016-02-18T10:32:10.000+0100}, title = {Algorithms for software model checking: Predicate abstraction vs. Impact.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2012.html#BeyerW12}, year = 2012 }