International Workshop on Formal Methods for Industrial Critical Systems (11 : 2006 : Bonn) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 10203518-0 Veranstaltungsort (1) GND Bonn Nachfolgende Konferenz oder Veranstaltung (1) GND 10203518-0