Checking workflow schemas with time constraints using timed automata (extended abstract)

  • E De Maria
  • A Montanari
  • M Zantoni
Year:
2005
Type of Publication:
In Proceedings
Book title:
OTM Workshops 2005, LNCS 3762, Springer, Agia Napa, Cyprus, November 2005, Proceedings
Pages:
1-2
Hits: 305