%0 Conference Paper %1 conf/ismvl/ThorntonDG00 %A Thornton, Mitchell A. %A Drechsler, Rolf %A Günther, Wolfgang %B ISMVL %D 2000 %I IEEE Computer Society %K %P 447-452 %T A Method for Approximate Equivalence Checking. %U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2000.html#ThorntonDG00 %@ 0-7695-0692-5

@inproceedings{conf/ismvl/ThorntonDG00, added-at = {2023-12-13T00:04:10.000+0100}, author = {Thornton, Mitchell A. and Drechsler, Rolf and Günther, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/28870f1c7ed6c50127ec35aca29273adb/admin}, booktitle = {ISMVL}, crossref = {conf/ismvl/2000}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2000.848656}, interhash = {5e55f253d3fe06dd4cdfe26748e6eaff}, intrahash = {8870f1c7ed6c50127ec35aca29273adb}, isbn = {0-7695-0692-5}, keywords = {}, pages = {447-452}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T00:04:10.000+0100}, title = {A Method for Approximate Equivalence Checking.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2000.html#ThorntonDG00}, year = 2000 }