%0 Conference Paper %1 conf/date/FeinsteinTM08 %A Feinstein, David Y. %A Thornton, Mitchell A. %A Miller, D. Michael %B DATE %D 2008 %E Sciuto, Donatella %I ACM %K dblp %P 1378-1381 %T Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits. %U http://dblp.uni-trier.de/db/conf/date/date2008.html#FeinsteinTM08 %@ 978-3-9810801-3-1

@inproceedings{conf/date/FeinsteinTM08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Feinstein, David Y. and Thornton, Mitchell A. and Miller, D. Michael}, biburl = {https://www.bibsonomy.org/bibtex/294e0f54d8a9aa0f6ccc21fa3120b3ab9/dblp}, booktitle = {DATE}, crossref = {conf/date/2008}, editor = {Sciuto, Donatella}, ee = {https://www.wikidata.org/entity/Q62513233}, interhash = {4baa607f931f88d1bc3518ba6642e5f7}, intrahash = {94e0f54d8a9aa0f6ccc21fa3120b3ab9}, isbn = {978-3-9810801-3-1}, keywords = {dblp}, pages = {1378-1381}, publisher = {ACM}, timestamp = {2024-04-10T06:51:02.000+0200}, title = {Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits.}, url = {http://dblp.uni-trier.de/db/conf/date/date2008.html#FeinsteinTM08}, year = 2008 }