International Workshop on Formal Methods for Industrial Critical Systems (9 : 2004 : Linz) Bezüge im Wissensnetz Veranstaltungsort (1) GND Linz