Verbesserung der Fehlersuche in inkonsistenten formalen Modellen

@inproceedings{pub7732,
    author = {

Przigoda, Nils
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Verbesserung der Fehlersuche in inkonsistenten formalen Modellen},
    booktitle = {18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-18), March 3-4, Chemnitz, Germany},
    year = {2015},
    month = {3}
}