Paula Herber. Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2010. Volume D-11 of LNI, pages 101-110, GI, 2010.
@inproceedings{Herber10, title = {Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata}, author = {Paula Herber}, year = {2010}, researchr = {https://researchr.org/publication/Herber10}, cites = {0}, citedby = {0}, pages = {101-110}, booktitle = {Ausgezeichnete Informatikdissertationen 2010}, editor = {Steffen Hölldobler}, volume = {D-11}, series = {LNI}, publisher = {GI}, isbn = {978-3-88579-415-8}, }