International Workshop on Protocol Specification, Testing and Verification (3 : 1983 : Rüschlikon) Bezüge im Wissensnetz Veranstaltungsort (1) GND Rüschlikon