International Workshop on Applied Verification of Continuous and Hybrid Systems (5. : 2018 : Oxford) Bezüge im Wissensnetz Veranstaltungsort (1) GND Oxford Homepage (1) GND 41779