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]

Abstract

Abstract is missing.