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]

Authors

Roman Barták

This author has not been identified. Look up 'Roman Barták' in Google

Vladimír Rovenský

This author has not been identified. Look up 'Vladimír Rovenský' in Google