Formale Methoden für Verteilte Systeme (1992 : Magdeburg) Bezüge im Wissensnetz Veranstaltungsort (1) GND Magdeburg