%0 Conference Paper %1 conf/iccd/BeckerHKLLNW08 %A Becker, Bernd %A Herbstritt, Marc %A Kalinnik, Natalia %A Lewis, Matthew D. T. %A Lichtner, Juri %A Nopper, Tobias %A Wimmer, Ralf %B ICCD %D 2008 %I IEEE Computer Society %K dblp %P 52-59 %T Propositional approximations for bounded model checking of partial circuit designs. %U http://dblp.uni-trier.de/db/conf/iccd/iccd2008.html#BeckerHKLLNW08 %@ 978-1-4244-2657-7

@inproceedings{conf/iccd/BeckerHKLLNW08, added-at = {2019-02-11T00:00:00.000+0100}, author = {Becker, Bernd and Herbstritt, Marc and Kalinnik, Natalia and Lewis, Matthew D. T. and Lichtner, Juri and Nopper, Tobias and Wimmer, Ralf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e9bfb820740fd0928fffd1b9c1e6f5fb/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2008.4751840}, interhash = {4fa0107b0990140c97663c1431c9b734}, intrahash = {e9bfb820740fd0928fffd1b9c1e6f5fb}, isbn = {978-1-4244-2657-7}, keywords = {dblp}, pages = {52-59}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T20:10:58.000+0200}, title = {Propositional approximations for bounded model checking of partial circuit designs.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2008.html#BeckerHKLLNW08}, year = 2008 }