Goce Trajcevski, Chitta Baral, Jorge Lobo. Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. Int. J. Cooperative Inf. Syst., 10(4):483-507, 2001. [doi]
@article{TrajcevskiBL01,
title = {Formalizing and Reasoning About the Requirements Specifications of Workflow Systems},
author = {Goce Trajcevski and Chitta Baral and Jorge Lobo},
year = {2001},
url = {http://ejournals.wspc.com.sg/journals/ijcis/10/1004/S021884300100045X.html},
tags = {workflow},
researchr = {https://researchr.org/publication/TrajcevskiBL01},
cites = {0},
citedby = {0},
journal = {Int. J. Cooperative Inf. Syst.},
volume = {10},
number = {4},
pages = {483-507},
}