Workshop on Verification and Control in Hybrid Systems (1995 : New Brunswick, NJ) Bezüge im Wissensnetz Veranstaltungsort (1) GND New Brunswick, NJ