---
_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'
...