Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (16 : 2013 : Rostock) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 1049835417 Veranstaltungsort (1) GND Rostock Nachfolgende Konferenz oder Veranstaltung (1) GND 1049835417