Browse by Projects

Group by: Creators | Item Type | No Grouping

Number of items: 1.

Fdhila, Walid and Rinderle-Ma, Stefanie and Knuplesch, David and Reichert, Manfred (2020) Decomposition-based Verification of Global Compliance in Process Choreographies. In: 24th Int'l Enterprise Distributed Object Computing Conference (EDOC 2020), 5 - 8 October 2020, Eindhoven, The Netherlands.

This list was generated on Wed Dec 4 04:22:06 2024 UTC.