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]
@inproceedings{FdhilaRKR20,
title = {Decomposition-based Verification of Global Compliance in Process Choreographies},
author = {Walid Fdhila and Stefanie Rinderle-Ma and David Knuplesch and Manfred Reichert},
year = {2020},
doi = {10.1109/EDOC49727.2020.00019},
url = {https://doi.org/10.1109/EDOC49727.2020.00019},
researchr = {https://researchr.org/publication/FdhilaRKR20},
cites = {0},
citedby = {0},
pages = {77-86},
booktitle = {24th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2020, Eindhoven, The Netherlands, October 5-8, 2020},
publisher = {IEEE},
isbn = {978-1-7281-6473-1},
}