Decomposition-based Verification of Global Compliance in Process Choreographies
Universität Ulm Universität Ulm![Logo](https://www.uni-ulm.de/_assets/a92153751098915699a1afa17e77f864/Images/logo-uni-ulm.jpg)
Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch and Manfred Reichert 24th IEEE Int'l Conference on Enterprise Computing (EDOC 2020)
5-8 October 2020, Eindhoven, The Netherlands