Jeff Dallien

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

Wendy MacCaull, Allen Tien, Jeff Dallien, 2008, 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software.

Dynamic Workflow Verification for Health Care

Wendy MacCaull, Allen Tien, Jeff Dallien, .