Nils Przigoda, Robert Wille, Rolf Drechsler. Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte Zusammenfassung). In Ulrich Heinkel, Daniel Kriesten, Marko Rößler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. pages 165-172, Sächsische Landesbibliothek, 2015.
Abstract is missing.