Fachgespräch Formale Beschreibungstechniken für Verteilte Systeme (8 : 1998 : Cottbus) Bezüge im Wissensnetz Veranstaltungsort (1) GND Cottbus