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]
@inproceedings{FotschPR06,
title = {Modeling and Verifying Workflow-based Regulations},
author = {Daniel Fötsch and Elke Pulvermüller and Wilhelm Rossak},
year = {2006},
url = {http://ceur-ws.org/Vol-241/paper7.pdf},
tags = {rule-based, modeling, workflow},
researchr = {https://researchr.org/publication/FotschPR06},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V 06, Luxemburg, June 5-9, 2006},
editor = {Régine Laleau and Michel Lemoine},
volume = {241},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}