@book{56727,
	author = {Alur, Rajeev, and DIMACS/Sycon Workshop on Verification and Control of Hybrid Systems},
	title = {Hybrid systems III :},
	publisher = {Springer,},
	year = {1996},
	address = {Berlin :},
	note = {The proceedings of the DIMACS/Sycon Workshop on Verification and Control of Hybrid Systems, organized October 22-25, 1995 at Rutgers University in New Brunswick, New Jersey}
}