%0 Conference Paper %1 conf/dac/AnastasakisMP04 %A Anastasakis, Demos %A McIlwain, Lisa %A Pilarski, Slawomir %B DAC %D 2004 %E Malik, Sharad %E Fix, Limor %E Kahng, Andrew B. %I ACM %K dblp %P 539-542 %T Efficient equivalence checking with partitions and hierarchical cut-points. %U http://dblp.uni-trier.de/db/conf/dac/dac2004.html#AnastasakisMP04 %@ 1-58113-828-8

@inproceedings{conf/dac/AnastasakisMP04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Anastasakis, Demos and McIlwain, Lisa and Pilarski, Slawomir}, biburl = {https://www.bibsonomy.org/bibtex/228bf245032f252b2f8480edde0036c1e/dblp}, booktitle = {DAC}, crossref = {conf/dac/2004}, editor = {Malik, Sharad and Fix, Limor and Kahng, Andrew B.}, ee = {https://doi.org/10.1145/996566.996714}, interhash = {f8d5af2087d922d080ca4c84546037a5}, intrahash = {28bf245032f252b2f8480edde0036c1e}, isbn = {1-58113-828-8}, keywords = {dblp}, pages = {539-542}, publisher = {ACM}, timestamp = {2018-11-07T15:12:58.000+0100}, title = {Efficient equivalence checking with partitions and hierarchical cut-points.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2004.html#AnastasakisMP04}, year = 2004 }