Towards a Methodology for Self-Verification

@inproceedings{pub9350,
    author = {

Lüth, Christoph
 and 

Ring, Martin
 and 

Drechsler, Rolf
},
    editor = {

Khatri, Sunil
},
    title = {Towards a Methodology for Self-Verification},
    booktitle = {6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on  Reliability, Infocom Technologies and Optimization (ICRITO-2017), 6th, September 20-23, Noida, India},
    year = {2017},
    month = {9},
    publisher = {IEEE}
}