An automaton-based approach to the verification of timed workfow schemas

  • E De Maria
  • A Montanari
  • M Zantoni
Year:
2006
Type of Publication:
In Proceedings
Book title:
TIME 2006: 13th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Budapest, Hungary, June 2006, Proceedings
Pages:
1-2
Hits: 285