Decomposition-based Verification of Global Compliance in Process Choreographies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch, Manfred Reichert. Decomposition-based Verification of Global Compliance in Process Choreographies. In 24th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2020, Eindhoven, The Netherlands, October 5-8, 2020. pages 77-86, IEEE, 2020. [doi]

This author has not been identified. Look up 'Walid Fdhila' in GoogleThis author has not been identified. Look up 'Stefanie Rinderle-Ma' in GoogleThis author has not been identified. Look up 'David Knuplesch' in GoogleThis author has not been identified. Look up 'Manfred Reichert' in Google

runs on WebDSL