A Static Analyser for Resource Sensitive Workflow Models.

Muhammad Rizwan Ali, Violet Ka I Pun

Browse the full TASE paper archive.