Fachgespräch Formale Beschreibungstechniken für Verteilte Systeme (5 : 1995 : Kaiserslautern) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kaiserslautern