TY  - RPRT
TI  - Temporalized logics and automata for time granularity
AU  - M. Franceschet
AU  - A. Montanari
PY  - 2003
UR  - https://arxiv.org/abs/cs/0311022
ID  - cs/0311022
ER  -