%0 Conference Paper %1 conf/mbmv/WilleGMD09 %A Wille, Robert %A Große, Daniel %A Miller, D. Michael %A Drechsler, Rolf %B MBMV %D 2009 %E Gremzow, Carsten %E Moser, Nico %I Universitätsbibliothek Berlin, Germany %K %P 67-76 %T Equivalence Checking of Reversible Circuits. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2009.html#WilleGMD09

@inproceedings{conf/mbmv/WilleGMD09, added-at = {2023-12-13T06:00:33.000+0100}, author = {Wille, Robert and Große, Daniel and Miller, D. Michael and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/28617baf6fd94925531a9674c378f8649/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2009}, editor = {Gremzow, Carsten and Moser, Nico}, interhash = {a9437d4c504b13a025cef9acff5971c4}, intrahash = {8617baf6fd94925531a9674c378f8649}, keywords = {}, pages = {67-76}, publisher = {Universitätsbibliothek Berlin, Germany}, timestamp = {2023-12-13T06:00:33.000+0100}, title = {Equivalence Checking of Reversible Circuits.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2009.html#WilleGMD09}, year = 2009 }