International Symposium on Protocol Specification, Testing, and Verification (9 : 1989 : Enschede) Bezüge im Wissensnetz Veranstaltungsort (1) GND Enschede