International Workshop on Design, Specification, and Verification of Interactive Systems (9 : 2002 : Rostock) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 10065445-9 Als Nachfolgende Konferenz oder Veranstaltung beteiligt (1) GND 10028523-5 Vorherige Konferenz oder Veranstaltung (1) GND 10028523-5 Veranstaltungsort (1) GND Rostock Nachfolgende Konferenz oder Veranstaltung (1) GND 10065445-9