@inproceedings{ conf/dsd/KarlssonEP04, added-at = {2015-01-16T00:00:00.000+0100}, author = {Karlsson, Daniel and Eles, Petru and Peng, Zebo}, biburl = {http://www.bibsonomy.org/bibtex/280b251bc9ef20b4ef03c70c182734271/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2004}, ee = {http://doi.ieeecomputersociety.org/10.1109/DSD.2004.1333299}, interhash = {f82949604c2170b5e86c6d030c346d5c}, intrahash = {80b251bc9ef20b4ef03c70c182734271}, isbn = {0-7695-2203-3}, keywords = {dblp}, pages = {372-379}, publisher = {IEEE Computer Society}, title = {A Formal Verification Methodology for IP-based Designs.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2004.html#KarlssonEP04}, year = {2004} }