On MITL and alternating timed automata

TitleOn MITL and alternating timed automata
Publication TypeJournal Article
Year of Publication2013
AuthorsBrihaye, T, Estiévenart M, Geeraerts G
JournalCoRR
Volumeabs/1304.2814
URLhttp://arxiv.org/abs/1304.2814