You can manage bookmarks using lists, please log in to your user account for this.
Göttingen: Cuvillier, 2014
Published in:MBMV
Ruf, Jürgen
[Editor]
;
Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme,
Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen,
Workshop Modellierung und Verifikation 2002 Tübingen
You can manage bookmarks using lists, please log in to your user account for this.
Aachen: Shaker, 2002
Published in:Berichte aus der Informatik
Brandt, Jens
[Editor]
;
Technische Universität Kaiserslautern,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 15 2012 Kaiserslautern
Dietrich, Manfred
[Editor]
;
Gesellschaft für Informatik,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 13 2010 Dresden
You can manage bookmarks using lists, please log in to your user account for this.
Stuttgart: Fraunhofer Verl., 2010
Gremzow, Carsten
[Editor]
;
Informationstechnische Gesellschaft,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 12 2009 Berlin
You can manage bookmarks using lists, please log in to your user account for this.
Berlin: Univ.-Verl. der TU, 2009
Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" 26. 2023 Freiburg im Breisgau,
Informationstechnische Gesellschaft,
Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik