par Brihaye, Thomas; Geeraerts, Gilles Liste de publications; Estievenart, Morgane Liste de publications
Référence Lecture notes in computer science, 8053
Publication Publié, 2013
Article révisé par les pairs
Titre :
  • On MITL and alternating timed automata.
Auteur : Brihaye, Thomas ; Geeraerts, Gilles ; Estievenart, Morgane
Informations sur la publication : Lecture notes in computer science, 8053
Statut de publication : Publié, 2013
Sujet CREF : Informatique générale
Langue :
Identificateurs : urn:issn:0302-9743