International Workshop on Models for Time-Critical Systems (3 : 2002 : Brünn) Bezüge im Wissensnetz Veranstaltungsort (1) GND Brünn