Link  Paper  bibtex   

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