Items where Author / Artist / Editor is "Hunter, Josie"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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, 6-10 May 2013, Saint Paul, Minnesota, USA.. ISBN 9781450319935. [Conference or Workshop Item]

This list was generated on Thu Nov 26 05:27:53 2020 GMT.