Titre :
  • On reachability for hybrid automata over bounded time
Auteur : Brihaye, Thomas ; Doyen, Laurent ; Geeraerts, Gilles ; Ouaknine, J. ; Raskin, Jean-François ; Worrell, J.
Organisme financeur : Cornell University Library, arXiv.org
Statut de publication : Publié, 2011
Sujet CREF : Informatique générale
Note : CoRR abs/1104.5335
Langue :