Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme (4 : 1996 : Kreischa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kreischa