• Citer

Automata for Qualitative Real-Time

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

• Détails

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