Process Logic for Verifying the Correctness of Business Process Models.

Henry H. Bi, J. Leon Zhao

Browse the full ICIS paper archive.