Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.

Conference or Workshop Item

Doan, Thu Trang, Yuan, Yao, Alechina, Natasha and Logan, Brian (2014) Verifying heterogeneous multi-agent programs. In: 13th International Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2014, 5-9 May 2014, Paris, France.

This list was generated on Tue Jan 21 01:23:14 2025 UTC.