@inproceedings{gueguen:hal-00326039,
TITLE = {Safety Verification and reachability analysis for hybrid systems.},
AUTHOR = {Gu{\'e}guen, Herv{\'e} and Lefebvre, Marie-Anne and Nasri, Othman and Zaytoon, J.},
URL = {https://centralesupelec.hal.science/hal-00326039},
BOOK
TITLE = {17th IFAC World Congress 2008},
ADDRESS = {S{\'e}oul, South Korea},
PAGES = {8949-8959 (11 pages)},
YEAR = {2008},
MONTH = Jul, HAL_ID = {hal-00326039},
HAL_VERSION = {v1},
}