TY  - RPRT
TI  - On Relaxing Metric Information in Linear Temporal Logic
AU  - Carlo A. Furia
AU  - Paola Spoletini
PY  - 2011
DO  - 10.1109/time.2011.9
UR  - https://arxiv.org/abs/0906.4711
ID  - 0906.4711
ER  -