Martin Oberkönig. Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation. PhD thesis, Darmstadt University of Technology, 2010.
@phdthesis{de-2866,
title = {Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation},
author = {Martin Oberkönig},
year = {2010},
note = {http://d-nb.info/1007079851},
researchr = {https://researchr.org/publication/de-2866},
cites = {0},
citedby = {0},
school = {Darmstadt University of Technology},
}