@article{3948,
  title = "Compact and Tractable Automaton-based Representations for Time Granularities",
  author = "Ugo Dal Lago and Angelo Montanari and Gabriele Puppis",
  year = "2007",
  journal = "Theoretical Computer Science",
}