Link  Paper  bibtex   

@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}
}