{"author":[{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"},{"first_name":"Dejan","last_name":"Nickovic","full_name":"Dejan Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Pnueli,Amir","last_name":"Pnueli","first_name":"Amir"}],"date_created":"2018-12-11T12:08:31Z","title":"Real Time Temporal Logic: Past, Present, Future","quality_controlled":0,"day":"23","publist_id":"1084","citation":{"ama":"Maler O, Nickovic D, Pnueli A. Real Time Temporal Logic: Past, Present, Future. In: Springer; 2006:2-16. doi:<a href=\"https://doi.org/1571\">1571</a>","chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future,” 2–16. Springer, 2006. <a href=\"https://doi.org/1571\">https://doi.org/1571</a>.","short":"O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.","ista":"Maler O, Nickovic D, Pnueli A. 2006. Real Time Temporal Logic: Past, Present, Future. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 2–16.","mla":"Maler, Oded, et al. <i>Real Time Temporal Logic: Past, Present, Future</i>. Springer, 2006, pp. 2–16, doi:<a href=\"https://doi.org/1571\">1571</a>.","apa":"Maler, O., Nickovic, D., &#38; Pnueli, A. (2006). Real Time Temporal Logic: Past, Present, Future (pp. 2–16). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. <a href=\"https://doi.org/1571\">https://doi.org/1571</a>","ieee":"O. Maler, D. Nickovic, and A. Pnueli, “Real Time Temporal Logic: Past, Present, Future,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 2–16."},"date_published":"2006-01-23T00:00:00Z","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"alternative_title":["LNCS"],"year":"2006","_id":"4373","status":"public","publisher":"Springer","extern":1,"publication_status":"published","date_updated":"2021-01-12T07:56:29Z","month":"01","doi":"1571","type":"conference","page":"2 - 16"}