Nils Przigoda, Robert Wille, Rolf Drechsler. Contradiction Analysis for Inconsistent Formal Models. In Zoran Stamenkovic, Witold A. Pleskacz, Jaan Raik, Heinrich Theodor Vierhaus, editors, 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015, Belgrade, Serbia, April 22-24, 2015. pages 171-176, IEEE, 2015. [doi]
@inproceedings{PrzigodaWD15-0,
title = {Contradiction Analysis for Inconsistent Formal Models},
author = {Nils Przigoda and Robert Wille and Rolf Drechsler},
year = {2015},
doi = {10.1109/DDECS.2015.52},
url = {http://dx.doi.org/10.1109/DDECS.2015.52},
researchr = {https://researchr.org/publication/PrzigodaWD15-0},
cites = {0},
citedby = {0},
pages = {171-176},
booktitle = {18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015, Belgrade, Serbia, April 22-24, 2015},
editor = {Zoran Stamenkovic and Witold A. Pleskacz and Jaan Raik and Heinrich Theodor Vierhaus},
publisher = {IEEE},
isbn = {978-1-4799-6780-3},
}