Verifying Security Properties in Unbounded Multiagent Systems

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio

Journal title: Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems

Journal publisher: The International Foundation for Autonomous Agents and Multiagent Systems

Published year: 2016

ISBN: 978-1-4503-4239-1