%0 Conference Paper %1 conf/isvlsi/Sayed-AhmedKGD15 %A Sayed-Ahmed, Amr A. R. %A Kühne, Ulrich %A Große, Daniel %A Drechsler, Rolf %B ISVLSI %D 2015 %I IEEE Computer Society %K %P 1-6 %T Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits. %U http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2015.html#Sayed-AhmedKGD15 %@ 978-1-4799-8719-1

@inproceedings{conf/isvlsi/Sayed-AhmedKGD15, added-at = {2023-12-13T05:32:20.000+0100}, author = {Sayed-Ahmed, Amr A. R. and Kühne, Ulrich and Große, Daniel and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2f6ac52798732b6d1d127564230121c06/admin}, booktitle = {ISVLSI}, crossref = {conf/isvlsi/2015}, ee = {https://www.wikidata.org/entity/Q59242226}, interhash = {a3b1577905b9e7dc853756b88c639001}, intrahash = {f6ac52798732b6d1d127564230121c06}, isbn = {978-1-4799-8719-1}, keywords = {}, pages = {1-6}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T05:32:20.000+0100}, title = {Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits.}, url = {http://dblp.uni-trier.de/db/conf/isvlsi/isvlsi2015.html#Sayed-AhmedKGD15}, year = 2015 }