%0 Conference Paper %1 conf/fmcad/CabodiPP14 %A Cabodi, Gianpiero %A Palena, Marco %A Pasini, P. %B FMCAD %D 2014 %I IEEE %K dblp %P 43-50 %T Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2014.html#CabodiPP14 %@ 978-0-9835678-4-4

@inproceedings{conf/fmcad/CabodiPP14, added-at = {2015-01-08T00:00:00.000+0100}, author = {Cabodi, Gianpiero and Palena, Marco and Pasini, P.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/279259967f32daa5f6281582078615871/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2014}, ee = {http://dx.doi.org/10.1109/FMCAD.2014.6987594}, interhash = {b014ff52a00b83e4c74cfa9fda656f6e}, intrahash = {79259967f32daa5f6281582078615871}, isbn = {978-0-9835678-4-4}, keywords = {dblp}, pages = {43-50}, publisher = {IEEE}, timestamp = {2016-02-02T12:39:31.000+0100}, title = {Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2014.html#CabodiPP14}, year = 2014 }