On Complexity of Verifying Nested Workflows with Extra Constraints.

Roman Bartk

Browse the full ICAART paper archive.