International Workshop on Applied Verification of Continuous and Hybrid Systems (6. : 2019 : Montréal) Bezüge im Wissensnetz Veranstaltungsort (1) GND Montréal