{"publisher":"Springer","publication_status":"published","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"title":"Monitoring Temporal Properties of Continuous Signals","month":"12","doi":"1572","_id":"4372","citation":{"mla":"Maler, Oded, and Dejan Nickovic. <i>Monitoring Temporal Properties of Continuous Signals</i>. Springer, 2004, pp. 152–66, doi:<a href=\"https://doi.org/1572\">1572</a>.","ieee":"O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.","chicago":"Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. <a href=\"https://doi.org/1572\">https://doi.org/1572</a>.","ista":"Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.","ama":"Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:<a href=\"https://doi.org/1572\">1572</a>","apa":"Maler, O., &#38; Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. <a href=\"https://doi.org/1572\">https://doi.org/1572</a>","short":"O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166."},"type":"conference","date_created":"2018-12-11T12:08:31Z","status":"public","date_updated":"2021-01-12T07:56:29Z","alternative_title":["LNCS"],"date_published":"2004-12-14T00:00:00Z","quality_controlled":0,"day":"14","year":"2004","extern":1,"publist_id":"1088","author":[{"first_name":"Oded","full_name":"Maler, Oded","last_name":"Maler"},{"full_name":"Dejan Nickovic","first_name":"Dejan","last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"}],"page":"152 - 166"}