Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig. Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. 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 157-166, Universitätsbibliothek Berlin, Germany, 2009.
@inproceedings{GladigauHSTSKL09, title = {Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen}, author = {Jens Gladigau and Christian Haubelt and Martin Streubühr and Jürgen Teich and Axel Schneider and Joachim Knäblein and Michael Lindig}, year = {2009}, researchr = {https://researchr.org/publication/GladigauHSTSKL09}, cites = {0}, citedby = {0}, pages = {157-166}, 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}, }