Brihaye, T., Estievenart, M., & Geeraerts, G. (25 September 2014). On alternating timed automata for MITL. Paper presented at 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 presented at 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. |
Brihaye, T., Estievenart, M., & Geeraerts, G. (2014). On alternating timed automata for MITL. Paper presented at 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 presented at 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. |
Estievenart, M., Brihaye, T., & Geeraerts, G. (30 May 2013). On MITL and alternating timed automata. Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium. |