Contradiction Analysis for Inconsistent Formal Models

@inproceedings{pub7698,
    author = {

Przigoda, Nils
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Contradiction Analysis for Inconsistent Formal Models},
    booktitle = {IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), April 22-24, Belgrade, Serbia},
    year = {2015}
}