A Model Slicing Method for Workflow Verification

Fazle Rabbi, Hao Wang, Wendy MacCaull, Adrian Rutle. A Model Slicing Method for Workflow Verification. Electronic Notes in Theoretical Computer Science, 295:79-93, 2013. [doi]

Abstract

Abstract is missing.