@inproceedings{ conf/fdl/KarlssonEP04, added-at = {2009-03-06T00:00:00.000+0100}, author = {Karlsson, Daniel and Eles, Petru and Peng, Zebo}, biburl = {http://www.bibsonomy.org/bibtex/289e63d862cf05840345530bc26a45a8c/dblp}, booktitle = {FDL}, crossref = {conf/fdl/2004}, date = {2009-03-06}, description = {dblp}, ee = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=612}, interhash = {9b756eb46b6a12c487fb93fb2ba48956}, intrahash = {89e63d862cf05840345530bc26a45a8c}, keywords = {dblp}, pages = {556-568}, publisher = {ECSI}, title = {A Formal Verification Approach for IP-based Designs.}, url = {http://dblp.uni-trier.de/db/conf/fdl/fdl2004.html#KarlssonEP04}, year = {2004} }