On verification of nested workflows with extra constraints: From theory to practice

Roman Barták, Vladimír Rovenský. On verification of nested workflows with extra constraints: From theory to practice. Expert Syst. Appl., 41(3):904-918, 2014. [doi]

Abstract

Abstract is missing.