Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Dresden & Dietrich, M. (2010). Tagungsband: 22. - 24.2.2010 in Dresden. Fraunhofer-Verl.
Chicago-Zitierstil (17. Ausg.)Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Dresden und Manfred Dietrich. Tagungsband: 22. - 24.2.2010 in Dresden. Stuttgart: Fraunhofer-Verl, 2010.
MLA-Zitierstil (9. Ausg.)Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Dresden und Manfred Dietrich. Tagungsband: 22. - 24.2.2010 in Dresden. Fraunhofer-Verl, 2010.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.