TY  - RPRT
TI  - Bounded Variability of Metric Temporal Logic
AU  - Carlo A. Furia
AU  - Paola Spoletini
PY  - 2014
DO  - 10.1109/time.2014.18
UR  - https://arxiv.org/abs/1306.2141
ID  - 1306.2141
ER  -