Workshop Anwendung Formaler Methoden beim Entwurf von Hardwaresystemen (3 : 1995 : Passau) Bezüge im Wissensnetz Veranstaltungsort (1) GND Passau