@misc{indiciae11caa86904d9,
  title = {Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation},
  author = {Walid Fdhila and David Knuplesch and Stefanie Rinderle-Ma and Manfred Reichert},
  year = {2021},
  url = {https://arxiv.org/abs/2110.09399},
  note = {Source identifier: 2110.09399}
}