International Workshop on Protocol Specification, Testing and Verification (5 : 1985 : Toulouse; Moissac) Bezüge im Wissensnetz Veranstaltungsort (2) GND Moissac Toulouse