{"quality_controlled":0,"_id":"4368","title":"AMT: a property-based monitoring tool for analog systems","alternative_title":["LNCS"],"date_created":"2018-12-11T12:08:30Z","page":"304 - 319","date_updated":"2021-01-12T07:56:27Z","month":"09","status":"public","type":"conference","year":"2007","day":"20","date_published":"2007-09-20T00:00:00Z","author":[{"last_name":"Nickovic","full_name":"Dejan Nickovic","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"}],"doi":"1567","citation":{"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>.","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>","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.","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.","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.","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>"},"publication_status":"published","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"publist_id":"1089","publisher":"Springer","extern":1}