%0 Conference Paper %1 conf/iccd/BaumgartnerMPKJ06 %A Baumgartner, Jason %A Mony, Hari %A Paruthi, Viresh %A Kanzelman, Robert %A Janssen, Geert %B ICCD %D 2006 %I IEEE %K dblp %P 259-266 %T Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . %U http://dblp.uni-trier.de/db/conf/iccd/iccd2006.html#BaumgartnerMPKJ06 %@ 978-0-7803-9707-1

@inproceedings{conf/iccd/BaumgartnerMPKJ06, added-at = {2019-02-11T00:00:00.000+0100}, author = {Baumgartner, Jason and Mony, Hari and Paruthi, Viresh and Kanzelman, Robert and Janssen, Geert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f96d1c06b6639c0a2abb172584880f5e/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2006.4380826}, interhash = {9663dbec0d79793e8d6e59222b1c9637}, intrahash = {f96d1c06b6639c0a2abb172584880f5e}, isbn = {978-0-7803-9707-1}, keywords = {dblp}, pages = {259-266}, publisher = {IEEE}, timestamp = {2019-09-27T20:11:02.000+0200}, title = {Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2006.html#BaumgartnerMPKJ06}, year = 2006 }