From MITL to Timed Automata
Maler O, Nickovic D, Pnueli A. 2006. From MITL to Timed Automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 274–289.
Download
No fulltext has been uploaded. References only!
DOI
Conference Paper
| Published
Author
Maler, Oded;
Nickovic, DejanISTA;
Pnueli,Amir
Series Title
LNCS
Publishing Year
Date Published
2006-10-19
Page
274 - 289
Conference
FORMATS: Formal Modeling and Analysis of Timed Systems
IST-REx-ID
Cite this
Maler O, Nickovic D, Pnueli A. From MITL to Timed Automata. In: Springer; 2006:274-289. doi:1570
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1570
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,” 274–89. Springer, 2006. https://doi.org/1570.
O. Maler, D. Nickovic, and A. Pnueli, “From MITL to Timed Automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 274–289.
Maler O, Nickovic D, Pnueli A. 2006. From MITL to Timed Automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 274–289.
Maler, Oded, et al. From MITL to Timed Automata. Springer, 2006, pp. 274–89, doi:1570.
Google Scholar