23-26 sept. 2014 Nancy (France)
Jeudi 25
Contributions

› 9:50 - 10:15 (25min)
On alternating timed automata for MITL
Thomas Brihaye  1, *, @  , Morgane Estiévenart  1, @  , Gilles Geeraerts  2, *, @  
1 : Université de Mons  (UMons)  -  Site web
20, place du Parc, B7000 Mons -  Belgique
2 : Département d'Informatique [Bruxelles]  (ULB)  -  Site web
Campus de la Plaine ULB CP212, boulevard du Triomphe, 1050 Bruxelles -  Belgique
* : Auteur correspondant
Type : : Communication orale
Thématiques : Contributions
Mots-Clés : timed automata ; alternating timed automata ; MITL
PDF version :  PDF version
Personnes connectées : 1