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]
@inproceedings{DallienMT08,
title = {Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care},
author = {Jeff Dallien and Wendy MacCaull and Allen Tien},
year = {2008},
doi = {10.1109/MOMPES.2008.12},
url = {http://dx.doi.org/10.1109/MOMPES.2008.12},
tags = {workflow, design},
researchr = {https://researchr.org/publication/DallienMT08},
cites = {0},
citedby = {0},
pages = {78-91},
booktitle = {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},
editor = {Ricardo Jorge Machado and João M. Fernandes and Flávio Rech Wagner and Rick Kazman},
publisher = {IEEE Computer Society},
isbn = {0-7695-3104-0},
}