Oded Maler, Dejan Nickovic, Amir Pnueli. From MITL to Timed Automata. In Eugene Asarin, Patricia Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Volume 4202 of Lecture Notes in Computer Science, pages 274-289, Springer, 2006. [doi]
@inproceedings{MalerNP06,
title = {From MITL to Timed Automata},
author = {Oded Maler and Dejan Nickovic and Amir Pnueli},
year = {2006},
doi = {10.1007/11867340_20},
url = {http://dx.doi.org/10.1007/11867340_20},
researchr = {https://researchr.org/publication/MalerNP06},
cites = {0},
citedby = {0},
pages = {274-289},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings},
editor = {Eugene Asarin and Patricia Bouyer},
volume = {4202},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-45026-2},
}