Number of items: 1.
Conference or Workshop Item (A Paper)
Finkbeiner, Bernd and Müller, Christian and Seidl, Helmut and Zalinescu, Eugen
(2017)
Verifying Security Policies in Multi-agent Workflows with Loops.
This list was generated on Tue Jul 2 05:56:35 2024 CEST.