Modeling and Verifying Workflow-based Regulations

Daniel Fötsch, Elke Pulvermüller, Wilhelm Rossak. Modeling and Verifying Workflow-based Regulations. In Régine Laleau, Michel Lemoine, editors, Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V 06, Luxemburg, June 5-9, 2006. Volume 241 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]

Authors

Daniel Fötsch

This author has not been identified. Look up 'Daniel Fötsch' in Google

Elke Pulvermüller

This author has not been identified. Look up 'Elke Pulvermüller' in Google

Wilhelm Rossak

This author has not been identified. Look up 'Wilhelm Rossak' in Google