@article{DBLP:journals/tplp/FranceschetM04,
author = {Massimo Franceschet and
Angelo Montanari},
title = {Temporalized logics and automata for time granularity},
journal = {TPLP},
volume = {4},
number = {5-6},
year = {2004},
pages = {621-658},
ee = {http://dx.doi.org/10.1017/S147106840400208X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}