@article{3942, title = "Towards Compact and Tractable Automaton-based Representations of Time Granularity", author = "Ugo Dal Lago and Angelo Montanari and Gabriele Puppis", year = "2003", journal = "ICTCS'03: Proceedings of the 8th International Conference on Theoretical Computer Science", }