Browse by Projects
![[up]](/style/images/multi_up.png)
Up a levelNumber 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.