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.
@inproceedings{OberkonigSE09,
title = {Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften},
author = {Martin Oberkönig and Martin Schickel and Hans Eveking},
year = {2009},
researchr = {https://researchr.org/publication/OberkonigSE09},
cites = {0},
citedby = {0},
pages = {17-26},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009},
editor = {Carsten Gremzow and Nico Moser},
publisher = {Universitätsbibliothek Berlin, Germany},
}