Towards Compact and Tractable Automaton-based Representations of Time Granularity

  • U Dal Lago
  • A Montanari
  • G Puppis
Year:
2003
Type of Publication:
In Proceedings
Book title:
Eighth Italian Conference on Theoretical Computer Science (ICTCS'03), LNCS 2841, Springer, Bertinoro, Italia, October 2003, Proceedings
Pages:
72-85
Hits: 258