BibTeX record conf/date/FeinsteinTM08

download as .bib file

@inproceedings{DBLP:conf/date/FeinsteinTM08,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton and
               D. Michael Miller},
  title     = {Partially Redundant Logic Detection Using Symbolic Equivalence Checking
               in Reversible and Irreversible Logic Circuits},
  booktitle = {{DATE}},
  pages     = {1378--1381},
  publisher = {{ACM}},
  year      = {2008}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics