International Workshop on Verification in New Orientations (5 : 1996 : Rottach-Egern) Bezüge im Wissensnetz Veranstaltungsort (1) GND Rottach-Egern