International Workshop on Applied Verification for Continuous and Hybrid Systems (3. : 2016 : Wien) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wien