On MITL and alternating timed automata

TitleOn MITL and alternating timed automata
Publication TypeConference Paper
Year of Publication2013
AuthorsBrihaye, T, Geeraerts G, Estiévenart M
Conference NameProceedings of {FORMATS} 2013, 11th International Conference on Formal Modeling and Analysis of Timed Systems
PublisherSpringer
DOIhttp://dx.doi.org/10.1007/978-3-642-40229-6_4