TY  - RPRT
TI  - A Theory of Sampling for Continuous-time Metric Temporal Logic
AU  - Carlo A. Furia
AU  - Matteo Rossi
PY  - 2010
DO  - 10.1145/1838552.1838560
UR  - https://arxiv.org/abs/0911.5642
ID  - 0911.5642
ER  -