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.

Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care

Jeff Dallien, Wendy MacCaull, Allen Tien. Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. In Ricardo Jorge Machado, João M. Fernandes, Flávio Rech Wagner, Rick Kazman, editors, Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings. pages 78-91, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.

runs on