External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using Timed Model Checking for Verifying Workflows

Volker Gruhn, Ralf Laue. Using Timed Model Checking for Verifying Workflows. In José Cordeiro, Joaquim Filipe, editors, Computer Supported Activity Coordination, Proceedings of the 2nd International Workshop on Computer Supported Activity Coordination, CSAC 2005, In conjunction with ICEIS 2005, Miami, USA, May 2005. pages 75-88, INSTICC Press, 2005.

Abstract

Abstract is missing.

runs on