23-26 Sep 2014 Nancy (France)
Thursday 25
Contributed talks

› 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)  -  Website
20, place du Parc, B7000 Mons -  Belgique
2 : Département d'Informatique [Bruxelles]  (ULB)  -  Website
Campus de la Plaine ULB CP212, boulevard du Triomphe, 1050 Bruxelles -  Belgique
* : Corresponding author
Subject : : Oral communication
Topics : Contributed talks
Keywords : timed automata ; alternating timed automata ; MITL
PDF version :  PDF version
Online user: 1