Modeling and Verifying Workflow-based Regulations.

Daniel Ftsch, Elke Pulvermller, Wilhelm R. Rossak

Browse the full CaiSE paper archive.