%0 Conference Paper %1 conf/iscas/RedaWS00 %A Reda, Sherief %A Wahba, Ayman %A Salem, Ashraf %B ISCAS %D 2000 %I IEEE %K dblp %P 613-616 %T M-CHECK: a multiple engine combinational equivalence checker. %U http://dblp.uni-trier.de/db/conf/iscas/iscas2000.html#RedaWS00

@inproceedings{conf/iscas/RedaWS00, added-at = {2024-05-07T00:00:00.000+0200}, author = {Reda, Sherief and Wahba, Ayman and Salem, Ashraf}, biburl = {https://www.bibsonomy.org/bibtex/26223ea051a292f392887a7b4afb92701/dblp}, booktitle = {ISCAS}, crossref = {conf/iscas/2000}, ee = {https://doi.org/10.1109/ISCAS.2000.856403}, interhash = {84e6cf150daf70a789c80de99ea14e89}, intrahash = {6223ea051a292f392887a7b4afb92701}, keywords = {dblp}, pages = {613-616}, publisher = {IEEE}, timestamp = {2024-05-13T09:45:02.000+0200}, title = {M-CHECK: a multiple engine combinational equivalence checker.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2000.html#RedaWS00}, year = 2000 }