@inproceedings{ifac2008,
	Address = {Seul, Korea},
	Author = {Luca Benvenuti and Davide Bresolin and Alberto Casagrande and Pieter Collins and Alberto Ferrari and Emanuele Mazzi and Alberto Sangiovanni-Vincentelli and Tiziano Villa},
	Booktitle = {Proc. of the 17th IFAC World Congress},
	Month = {July},
	Title = {Reachability computation for hybrid systems with {Ariadne}},
	Year = {2008}
}