Decomposition-based Verification of Global Compliance in Process Choreographies

05. Oktober 2020

Universität Ulm 13. September 2020 Universität Ulm

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