Self-Verification as the Key Technology for Next Generation Electronic Systems. Drechsler, R.; Le, H. M.; and Soeken, M. In Proceedings of Symposium on Integrated Circuits and Systems Design (SBCCI), pages 15:1-15:4, 2014.
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)}
}