Formalizing and Reasoning About the Requirements Specifications of Workflow Systems

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]

Possibly Related Publications

The following publications are possibly variants of this publication: