Hans-Jürgen Brand. Verifikation von Prozessorplattformen -- Probleme und Trends aus Sicht der Chipentwicklung. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 61-61, Shaker, 2003.
@inproceedings{Brand03-0,
title = {Verifikation von Prozessorplattformen -- Probleme und Trends aus Sicht der Chipentwicklung},
author = {Hans-Jürgen Brand},
year = {2003},
researchr = {https://researchr.org/publication/Brand03-0},
cites = {0},
citedby = {0},
pages = {61},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003},
editor = {Rolf Drechsler},
publisher = {Shaker},
}