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

{"_id":"A4gPLg5xnAi2GzrXu","bibbaseid":"karlsson-eles-peng-aformalverificationmethodologyforipbaseddesigns-2004","downloads":0,"creationDate":"2015-06-10T17:04:20.074Z","title":"A Formal Verification Methodology for IP-based Designs.","author_short":["Karlsson, D.","Eles, P.","Peng, Z."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Petru Eles?items=1000","bibdata":{"added-at":"2015-01-16T00:00:00.000+0100","author":["Karlsson, Daniel","Eles, Petru","Peng, Zebo"],"author_short":["Karlsson, D.","Eles, P.","Peng, Z."],"bibtex":"@inproceedings{ conf/dsd/KarlssonEP04,\n added-at = {2015-01-16T00:00:00.000+0100},\n author = {Karlsson, Daniel and Eles, Petru and Peng, Zebo},\n biburl = {http://www.bibsonomy.org/bibtex/280b251bc9ef20b4ef03c70c182734271/dblp},\n booktitle = {DSD},\n crossref = {conf/dsd/2004},\n ee = {http://doi.ieeecomputersociety.org/10.1109/DSD.2004.1333299},\n interhash = {f82949604c2170b5e86c6d030c346d5c},\n intrahash = {80b251bc9ef20b4ef03c70c182734271},\n isbn = {0-7695-2203-3},\n keywords = {dblp},\n pages = {372-379},\n publisher = {IEEE Computer Society},\n title = {A Formal Verification Methodology for IP-based Designs.},\n url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2004.html#KarlssonEP04},\n year = {2004}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/280b251bc9ef20b4ef03c70c182734271/dblp","booktitle":"DSD","crossref":"conf/dsd/2004","ee":"http://doi.ieeecomputersociety.org/10.1109/DSD.2004.1333299","id":"conf/dsd/KarlssonEP04","interhash":"f82949604c2170b5e86c6d030c346d5c","intrahash":"80b251bc9ef20b4ef03c70c182734271","isbn":"0-7695-2203-3","key":"conf/dsd/KarlssonEP04","keywords":"dblp","pages":"372-379","publisher":"IEEE Computer Society","title":"A Formal Verification Methodology for IP-based Designs.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/dsd/dsd2004.html#KarlssonEP04","year":"2004","bibbaseid":"karlsson-eles-peng-aformalverificationmethodologyforipbaseddesigns-2004","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/DSD.2004.1333299","Paper":"http://dblp.uni-trier.de/db/conf/dsd/dsd2004.html#KarlssonEP04"},"keyword":["dblp"],"downloads":0},"search_terms":["formal","verification","methodology","based","designs","karlsson","eles","peng"],"keywords":["dblp"],"authorIDs":[],"dataSources":["psAZ6PHwL3HTwJ9Q9"]}