Title: On verification issues in conceptual modelling of workflow processes
Subjects: Workflow