TY  - RPRT
TI  - Verifying Security Policies in Multi-agent Workflows with Loops
AU  - Bernd Finkbeiner
AU  - Christian Müller
AU  - Helmut Seidl
AU  - Eugen Zălinescu
PY  - 2017
DO  - 10.1145/3133956.3134080
UR  - https://arxiv.org/abs/1708.09013
ID  - 1708.09013
ER  -