Publication
Verbesserung der Fehlersuche in inkonsistenten formalen Modellen
Nils Przigoda; Robert Wille; Rolf Drechsler
In: 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, 3/2015.