Catégorie Chapitre d'ouvrage Auteurs Herve Gueguen J. Zaytoon https://centralesupelec.hal.science/hal-00586286v1 doc ID 586286 Nom Abstractions of Hybrid Systems for verification Date de publication mer 26/02/2025 - 12:00