Brandt, Jens
[Editor]
;
Technische Universität Kaiserslautern,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 15 2012 Kaiserslautern
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
:
MBMV 2012 ; [15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2012 an der Technischen Universität Kaiserslautern]