Martin Oberkönig, Martin Schickel, Hans Eveking. Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 17-26, Universitätsbibliothek Berlin, Germany, 2009.
Abstract is missing.