International Workshop on Models for Time-Critical Systems (2 : 2001 : Ålborg) Bezüge im Wissensnetz Veranstaltungsort (1) GND Aalborg