International Symposium on Protocol Specification, Testing, and Verification (13 : 1993 : Lüttich) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lüttich