Initial work in the design and development of verifiable Workflow Management Systems and some applications to health care

Jeff Dallien, Wendy MacCaull, Allen Tien

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Initial work in the design and development of verifiable Workflow Management Systems and some applications to health care'. Together they form a unique fingerprint.

Engineering & Materials Science