International Workshop on Applied Verification of Continuous and Hybrid Systems (4. : 2017 : Pittsburgh, Pa.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pittsburgh, Pa. Homepage (1) GND 31262