Paper  bibtex   

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