Christoph Kuznik, Bertrand Defo, Wolfgang Müller 0003. Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. In Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. pages 113-124, Cuvillier, 2014.
Abstract is missing.