%0 Conference Paper %1 conf/fmcad/BeyerKW10 %A Beyer, Dirk %A Keremoglu, M. Erkan %A Wendler, Philipp %B FMCAD %D 2010 %E Bloem, Roderick %E Sharygina, Natasha %I IEEE %K dblp %P 189-197 %T Predicate abstraction with adjustable-block encoding. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#BeyerKW10 %@ 978-0-9835678-0-6

@inproceedings{conf/fmcad/BeyerKW10, added-at = {2014-12-11T00:00:00.000+0100}, author = {Beyer, Dirk and Keremoglu, M. Erkan and Wendler, Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dc1cc2bee82bd5a622d7ed766774663a/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2010}, editor = {Bloem, Roderick and Sharygina, Natasha}, ee = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770949}, interhash = {daf05345c87e4b41dfb6f9a89f7da058}, intrahash = {dc1cc2bee82bd5a622d7ed766774663a}, isbn = {978-0-9835678-0-6}, keywords = {dblp}, pages = {189-197}, publisher = {IEEE}, timestamp = {2016-02-18T10:32:15.000+0100}, title = {Predicate abstraction with adjustable-block encoding.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#BeyerKW10}, year = 2010 }