par Raskin, Jean-François ;Schobbens, Pierre-Yves
Référence (Sesimbra, Portugal), Proceedings of ModelAge’96, “Formal Models of Agents”, University of Lisbon, page (233-240)
Publication Publié, 1996-01
Publication dans des actes
Titre:
  • Automata for Qualitative Real-Time
Auteur:Raskin, Jean-François; Schobbens, Pierre-Yves
Informations sur la publication:(Sesimbra, Portugal), Proceedings of ModelAge’96, “Formal Models of Agents”, University of Lisbon, page (233-240)
Statut de publication:Publié, 1996-01
Sujet CREF:Informatique mathématique
Langue:Anglais