@inproceedings{25163,
  author       = {{Kuznik, Christoph and Defo, Bertrand Gilles and Müller, Wolfgang}},
  booktitle    = {{17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }},
  title        = {{{Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung}}},
  year         = {{2014}},
}