International Workshop on Runtime Verification (2 : 2002 : Kopenhagen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kopenhagen