Complete and Effective Robustness Checking by Means of Interpolation

@inproceedings{pub6483,
    author = {

Frehse, Stefan
 and 

Fey, Görschwin
 and 

Arbel, Eli
 and 

Yorav, Karen
 and 

Drechsler, Rolf
},
    title = {Complete and Effective Robustness Checking by Means of Interpolation},
    booktitle = {Formal Methods in Computer-Aided Design 2012. Formal Methods in Computer-Aided Design (FMCAD-2012), October 22-25, Cambridge, England, United Kingdom},
    year = {2012}
}