International Symposium on Protocol Specification, Testing, and Verification (12 : 1992 : Lake Buena Vista, Fla.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lake Buena Vista, Fla.