%0 Conference Paper %1 conf/icecsys/BoubekeurS07 %A Boubekeur, Menouer %A Schellekens, Michel P. %B ICECS %D 2007 %I IEEE %K %P 283-286 %T Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits. %U http://dblp.uni-trier.de/db/conf/icecsys/icecsys2007.html#BoubekeurS07 %@ 978-1-4244-1377-5

@inproceedings{conf/icecsys/BoubekeurS07, added-at = {2023-12-13T03:09:06.000+0100}, author = {Boubekeur, Menouer and Schellekens, Michel P.}, biburl = {https://www.bibsonomy.org/bibtex/2e35460058c9ef1c2696eba6ba3ce1760/admin}, booktitle = {ICECS}, crossref = {conf/icecsys/2007}, ee = {https://doi.org/10.1109/ICECS.2007.4510985}, interhash = {881b9756b052b68d2208b79405c89351}, intrahash = {e35460058c9ef1c2696eba6ba3ce1760}, isbn = {978-1-4244-1377-5}, keywords = {}, pages = {283-286}, publisher = {IEEE}, timestamp = {2023-12-13T03:09:06.000+0100}, title = {Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits.}, url = {http://dblp.uni-trier.de/db/conf/icecsys/icecsys2007.html#BoubekeurS07}, year = 2007 }