@inproceedings{ dblp1844928,
  title = {Self-Verification as the Key Technology for Next Generation Electronic Systems},
  author = {Rolf Drechsler and Hoang M. Le and Mathias Soeken},
  author_short = {Drechsler, R. and Le, H. M. and Soeken, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1844928},
  id = {dblp1844928},
  biburl = {http://www.dblp.org/rec/bibtex/conf/sbcci/DrechslerLS14},
  url = {http://doi.acm.org/10.1145/2660540.2660983},
  conference = {SBCCI},
  pages = {15:1-15:4},
  text = {SBCCI 2014:15:1-15:4},
  booktitle = {Proceedings of Symposium on Integrated Circuits and Systems Design (SBCCI)}
}

{"_id":"FgrKAiA3DxLJPDPZf","bibbaseid":"drechsler-le-soeken-selfverificationasthekeytechnologyfornextgenerationelectronicsystems-2014","downloads":0,"creationDate":"2015-06-12T22:13:32.894Z","title":"Self-Verification as the Key Technology for Next Generation Electronic Systems","author_short":["Drechsler, R.","Le, H. M.","Soeken, M."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/sbcci/DrechslerLS14","bibdata":{"title":"Self-Verification as the Key Technology for Next Generation Electronic Systems","author":["Rolf Drechsler","Hoang M. Le","Mathias Soeken"],"author_short":["Drechsler, R.","Le, H. M.","Soeken, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1844928","id":"dblp1844928","biburl":"http://www.dblp.org/rec/bibtex/conf/sbcci/DrechslerLS14","url":"http://doi.acm.org/10.1145/2660540.2660983","conference":"SBCCI","pages":"15:1-15:4","text":"SBCCI 2014:15:1-15:4","booktitle":"Proceedings of Symposium on Integrated Circuits and Systems Design (SBCCI)","bibtex":"@inproceedings{ dblp1844928,\n title = {Self-Verification as the Key Technology for Next Generation Electronic Systems},\n author = {Rolf Drechsler and Hoang M. Le and Mathias Soeken},\n author_short = {Drechsler, R. and Le, H. M. and Soeken, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1844928},\n id = {dblp1844928},\n biburl = {http://www.dblp.org/rec/bibtex/conf/sbcci/DrechslerLS14},\n url = {http://doi.acm.org/10.1145/2660540.2660983},\n conference = {SBCCI},\n pages = {15:1-15:4},\n text = {SBCCI 2014:15:1-15:4},\n booktitle = {Proceedings of Symposium on Integrated Circuits and Systems Design (SBCCI)}\n}","bibbaseid":"drechsler-le-soeken-selfverificationasthekeytechnologyfornextgenerationelectronicsystems-2014","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2660540.2660983"},"downloads":0},"search_terms":["self","verification","key","technology","next","generation","electronic","systems","drechsler","le","soeken"],"keywords":[],"authorIDs":[],"dataSources":["6pC3j6CGR4MoPwcYs"]}