TY  - RPRT
TI  - The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)
AU  - Paritosh K. Pandya
AU  - Simoni S. Shah
PY  - 2013
DO  - 10.1007/978-3-642-33386-6
UR  - https://arxiv.org/abs/1305.3204
ID  - 1305.3204
ER  -