Items where Author / Artist / Editor is "Hunter, Josie"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Hunter, Josie, Raimondi, Franco 
ORCID: https://orcid.org/0000-0002-9508-7713, Rungta, Neha and Stocker, Richard
(2013)
A synergistic and extensible framework for multi-agent system verification.
AAMAS '13 Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems.
In: AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems, 06-10 May 2013, Saint Paul, Minnesota, USA..
ISBN 9781450319935.
[Conference or Workshop Item]
