%0 Conference Paper %1 conf/hldvt/RahimRTR03 %A Rahim, Solaiman %A Rouzeyre, Bruno %A Torres, Lionel %A Rampon, Jérôme %B HLDVT %D 2003 %I IEEE Computer Society %K dblp %P 129-134 %T Matching in the presence of don't cares and redundant sequential elements for sequential equivalence checking. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#RahimRTR03 %@ 0-7803-8236-6

@inproceedings{conf/hldvt/RahimRTR03, added-at = {2015-05-12T00:00:00.000+0200}, author = {Rahim, Solaiman and Rouzeyre, Bruno and Torres, Lionel and Rampon, Jérôme}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c8d0cb10174fd43a483a2d70b6b4116a/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2003}, ee = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2003.1252486}, interhash = {4d706df602a6631d179f4eb3710c3ce3}, intrahash = {c8d0cb10174fd43a483a2d70b6b4116a}, isbn = {0-7803-8236-6}, keywords = {dblp}, pages = {129-134}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:37:48.000+0100}, title = {Matching in the presence of don't cares and redundant sequential elements for sequential equivalence checking.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#RahimRTR03}, year = 2003 }