Simplifying Verification of Nested Workflows with Extra Constraints.

Roman Bartk

Browse the full FlAIRS paper archive.