%0 Conference Paper %1 conf/vts/KeimMBDM97 %A Keim, Martin %A Martin, Michael %A Becker, Bernd %A Drechsler, Rolf %A Molitor, Paul %B VTS %D 1997 %I IEEE Computer Society %K dblp %P 150-157 %T Polynomial Formal Verification of Multipliers. %U http://dblp.uni-trier.de/db/conf/vts/vts1997.html#KeimMBDM97 %@ 0-8186-7810-0

@inproceedings{conf/vts/KeimMBDM97, added-at = {2014-11-05T00:00:00.000+0100}, author = {Keim, Martin and Martin, Michael and Becker, Bernd and Drechsler, Rolf and Molitor, Paul}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2887fe9f97010cc409245e082e94bab2f/dblp}, booktitle = {VTS}, crossref = {conf/vts/1997}, ee = {http://doi.ieeecomputersociety.org/10.1109/VTEST.1997.599468}, interhash = {6cdd57bb49b110335bca31fa1ea99cd6}, intrahash = {887fe9f97010cc409245e082e94bab2f}, isbn = {0-8186-7810-0}, keywords = {dblp}, pages = {150-157}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:39:27.000+0100}, title = {Polynomial Formal Verification of Multipliers.}, url = {http://dblp.uni-trier.de/db/conf/vts/vts1997.html#KeimMBDM97}, year = 1997 }