Format:
Illustrationen
ISBN:
9783944640341
In:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Chemnitz : Technische Universität, 2015, (2015), Seite 105-114, 9783944640341
In:
9783000488894
In:
year:2015
In:
pages:105-114
Language:
English
URN:
urn:nbn:de:bsz:14-qucosa-164197
Author information:
Haubelt, Christian 1972-