{"citation":{"ama":"Nickovic D, Maler O. AMT: a property-based monitoring tool for analog systems. In: Springer; 2007:304-319. doi:<a href=\"https://doi.org/1567\">1567</a>","mla":"Nickovic, Dejan, and Oded Maler. <i>AMT: A Property-Based Monitoring Tool for Analog Systems</i>. Springer, 2007, pp. 304–19, doi:<a href=\"https://doi.org/1567\">1567</a>.","short":"D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.","ieee":"D. Nickovic and O. Maler, “AMT: a property-based monitoring tool for analog systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2007, pp. 304–319.","chicago":"Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems,” 304–19. Springer, 2007. <a href=\"https://doi.org/1567\">https://doi.org/1567</a>.","ista":"Nickovic D, Maler O. 2007. AMT: a property-based monitoring tool for analog systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 304–319.","apa":"Nickovic, D., &#38; Maler, O. (2007). AMT: a property-based monitoring tool for analog systems (pp. 304–319). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. <a href=\"https://doi.org/1567\">https://doi.org/1567</a>"},"date_created":"2018-12-11T12:08:30Z","month":"09","date_published":"2007-09-20T00:00:00Z","page":"304 - 319","year":"2007","publisher":"Springer","status":"public","day":"20","date_updated":"2021-01-12T07:56:27Z","publist_id":"1089","type":"conference","extern":1,"publication_status":"published","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"doi":"1567","author":[{"full_name":"Dejan Nickovic","first_name":"Dejan","last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Maler","first_name":"Oded","full_name":"Maler, Oded"}],"_id":"4368","title":"AMT: a property-based monitoring tool for analog systems","alternative_title":["LNCS"],"quality_controlled":0}