Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Haubelt C, Teich J (2007)

Publication Type: Authored book

Publication year: 2007

Publisher: Shaker Verlag

City/Town: Aachen

Authors with CRIS profile

Christian Haubelt Technische Fakultät Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

How to cite

APA:

Haubelt, C., & Teich, J. (2007). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Aachen: Shaker Verlag.

MLA:

Haubelt, Christian, and Jürgen Teich. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Aachen: Shaker Verlag, 2007.

BibTeX: Download