International Symposium on Protocol Specification, Testing, and Verification (10 : 1990 : Ottawa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ottawa