Article révisé par les pairs
Titre :
  • On reachability for hybrid automata over bounded time
Auteur : Brihaye, Thomas ; Doyen, Laurent ; Geeraerts, Gilles ; Ouaknine, J. ; Worrell, J. ; Raskin, Jean-François
Informations sur la publication : Lecture notes in computer science, 6756
Statut de publication : Publié, 2011
Sujet CREF : Informatique générale
Langue :
Identificateurs : urn:issn:0302-9743