Brihaye, T., Estievenart, M., & Geeraerts, G. (25 September 2014). On alternating timed automata for MITL [Paper presentation]. Journées montoises d'informatique théorique, Nancy, France. |
Brihaye, T., Estievenart, M., & Geeraerts, G. (08 September 2014). On MITL and alternating timed automata over infinite words [Paper presentation]. FORMATS - Formal Modelling and Analysis of Timed Systems, Florence, Italy. |
Brihaye, T., Estievenart, M., & Geeraerts, G. (2014). On MITL and Alternating Timed Automata over Infinite Words. Lecture Notes in Computer Science. ![]() |
Brihaye, T., Estievenart, M., & Geeraerts, G. (2014). On MITL and alternating timed automata over infinite words. https://orbi.umons.ac.be/handle/20.500.12907/15521 |
Brihaye, T., Estievenart, M., & Geeraerts, G. (2014). On alternating timed automata for MITL [Paper presentation]. Journées montoises d'informatique théorique, Nancy, France. |
Brihaye, T., Estievenart, M., & Geeraerts, G. (30 September 2013). On MITL and alternating timed automata [Paper presentation]. Second Cassting Meeting, Aalborg, Denmark. |
Brihaye, T., Estievenart, M., & Geeraerts, G. (2013). On MITL and alternating timed automata. Lecture Notes in Computer Science, 47-61. ![]() |
Brihaye, T., Estievenart, M., & Geeraerts, G. (2013). On MITL and alternating timed automata. https://orbi.umons.ac.be/handle/20.500.12907/25771 |
Estievenart, M., Brihaye, T., & Geeraerts, G. (30 May 2013). On MITL and alternating timed automata [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium. |