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