Gregor Nitsche,
Eckhard Hennig
Georg Gläser
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012, Kaiserslautern, 05.03.2012-07.03.2012
Gregor Nitsche,
Georg Gläser
Eckhard Hennig
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. in Methoden und Beschreibungssprachen zur Modellierung in Verifikation von Schaltungen und Systemen - MBMV 2012 (Hrsg: Jens Brandt und Klaus Schneider), Schriftenreihe Forschungsergebnisse zur Informatik, Band 68, Verlag Dr. Kovac, Hamburg, 2012, S. 121-132
Nikola Basta, Achim Dreher, Stefano Caizzone, Matteo Sgammini, Felix Antreich,
Safwat Irteza, Ralf Stephan, Matthias A. Hein
Eric Schäfer, Andre Richter, Muhammad Abdullah Khan
Lothar Kurz, Tobias G. Noll
7th German Microwave Conference (GeMiC), 2012, http://ieeexplore.ieee.org, IEEE Xplore Digital Library, E-ISBN 978-3-9812668-4-9
R. Grieseler,
K. Tonisch
J. Klaus
M. Stubenrauch
B. Leistritz
R. Srnanek
S. Michael
J. Petzoldt
P. Schaaf
Thüringer Werkstofftage 2012. Weimar. 14.03.2012
M. Götze,
W. Kattanek
R. Peukert
9th International Multi-Conference on Systems, Signals and Devices (SSD), 2012, Digital Object Identifier: 10.1109/SSD.2012.6198110, http://ieeexplore.ieee.org, E-ISBN 978-1-4673-1589-0. Chemnitz, Germany
M. Meister,
M. Reinhard
U. Liebold
D. Kirsten
D. Nürnbergk
9th International Multi-Conference on Systems, Signals and Devices (SSD), 2012, Chemnitz, 20.03.2012-23.3.2012