Advanced Study Institute on Verification of Digital and Hybrid Systems (1997 : Antalya) Bezüge im Wissensnetz Veranstaltungsort (1) GND Antalya