On Similarities Between Workflow Verification and Grammar Checking.

Roman Bartk, Vladislav Kubon

Browse the full FlAIRS paper archive.