Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (6 : 2003 : Bremen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bremen