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