Workshop on Tools for System Design and Verification (4 : 2000 : Ulm) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ulm