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

{"_id":"MMDn9MwNQKMLd889J","bibbaseid":"karlsson-eles-peng-aformalverificationapproachforipbaseddesigns-2004","downloads":0,"creationDate":"2015-06-10T17:04:20.710Z","title":"A Formal Verification Approach 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":"2009-03-06T00:00:00.000+0100","author":["Karlsson, Daniel","Eles, Petru","Peng, Zebo"],"author_short":["Karlsson, D.","Eles, P.","Peng, Z."],"bibtex":"@inproceedings{ conf/fdl/KarlssonEP04,\n added-at = {2009-03-06T00:00:00.000+0100},\n author = {Karlsson, Daniel and Eles, Petru and Peng, Zebo},\n biburl = {http://www.bibsonomy.org/bibtex/289e63d862cf05840345530bc26a45a8c/dblp},\n booktitle = {FDL},\n crossref = {conf/fdl/2004},\n date = {2009-03-06},\n description = {dblp},\n ee = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=612},\n interhash = {9b756eb46b6a12c487fb93fb2ba48956},\n intrahash = {89e63d862cf05840345530bc26a45a8c},\n keywords = {dblp},\n pages = {556-568},\n publisher = {ECSI},\n title = {A Formal Verification Approach for IP-based Designs.},\n url = {http://dblp.uni-trier.de/db/conf/fdl/fdl2004.html#KarlssonEP04},\n year = {2004}\n}","bibtype":"inproceedings","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","id":"conf/fdl/KarlssonEP04","interhash":"9b756eb46b6a12c487fb93fb2ba48956","intrahash":"89e63d862cf05840345530bc26a45a8c","key":"conf/fdl/KarlssonEP04","keywords":"dblp","pages":"556-568","publisher":"ECSI","title":"A Formal Verification Approach for IP-based Designs.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/fdl/fdl2004.html#KarlssonEP04","year":"2004","bibbaseid":"karlsson-eles-peng-aformalverificationapproachforipbaseddesigns-2004","role":"author","urls":{"Link":"http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=612","Paper":"http://dblp.uni-trier.de/db/conf/fdl/fdl2004.html#KarlssonEP04"},"keyword":["dblp"],"downloads":0},"search_terms":["formal","verification","approach","based","designs","karlsson","eles","peng"],"keywords":["dblp"],"authorIDs":[],"dataSources":["psAZ6PHwL3HTwJ9Q9"]}