@misc{indiciaef02297429dc2,
  title = {Verifying Security Policies in Multi-agent Workflows with Loops},
  author = {Bernd Finkbeiner and Christian Müller and Helmut Seidl and Eugen Zălinescu},
  year = {2017},
  doi = {10.1145/3133956.3134080},
  url = {https://arxiv.org/abs/1708.09013},
  note = {Source identifier: 1708.09013}
}