TY  - RPRT
TI  - On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing
AU  - Paritosh K. Pandya
AU  - Simoni S. Shah
PY  - 2011
UR  - https://arxiv.org/abs/1102.5638
ID  - 1102.5638
ER  -