{"conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"publication_status":"published","publisher":"Springer","citation":{"short":"O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.","apa":"Maler, O., Nickovic, D., &#38; Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. <a href=\"https://doi.org/1570\">https://doi.org/1570</a>","ista":"Maler O, Nickovic D, Pnueli A. 2006. From MITL to Timed Automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 274–289.","ama":"Maler O, Nickovic D, Pnueli A. From MITL to Timed Automata. In: Springer; 2006:274-289. doi:<a href=\"https://doi.org/1570\">1570</a>","mla":"Maler, Oded, et al. <i>From MITL to Timed Automata</i>. Springer, 2006, pp. 274–89, doi:<a href=\"https://doi.org/1570\">1570</a>.","chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,” 274–89. Springer, 2006. <a href=\"https://doi.org/1570\">https://doi.org/1570</a>.","ieee":"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."},"type":"conference","title":"From MITL to Timed Automata","month":"10","_id":"4374","doi":"1570","quality_controlled":0,"date_published":"2006-10-19T00:00:00Z","year":"2006","day":"19","status":"public","date_created":"2018-12-11T12:08:31Z","alternative_title":["LNCS"],"date_updated":"2021-01-12T07:56:30Z","page":"274 - 289","publist_id":"1085","author":[{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"first_name":"Dejan","full_name":"Dejan Nickovic","last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Amir","full_name":"Pnueli,Amir","last_name":"Pnueli"}],"extern":1}