Titre :
  • Event-clock automata : From theory to practice
Auteur : Geeraerts, Gilles ; Raskin, Jean-François ; Sznajder, NATHALIE
Organisme financeur : Cornell University Library, arXiv.org
Statut de publication : Publié, 2011
Sujet CREF : Informatique générale
Note : CoRR abs/1107.4138
Langue :