@incollection{gueguen:hal-00586286,
TITLE = {Abstractions of Hybrid Systems for verification},
AUTHOR = {Gu{\'e}guen, Herv{\'e} and Zaytoon, J.},
URL = {https://centralesupelec.hal.science/hal-00586286},
BOOK
TITLE = {Informatics in Control Automation and Robotics},
EDITOR = {Juan Andrade Cetto, Joaquim Filipe and Jean-Louis Ferrier},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Electrical Engeneering},
PAGES = {15-28},
YEAR = {2011},
MONTH = Apr, DOI = {10.1007/978-3-642-19730-7},
HAL_ID = {hal-00586286},
HAL_VERSION = {v1},
}