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

Overview
Research
Identity
Additional Document Info
View All

authors

Dallien, Jeff
MacCaull, Wendy
Tien, Allen

status

published

publication date

April 2008

published in

2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software Journal

presented at event

2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software Conference