Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}