Browse by Authors and Editors
Number of items: 2. Conference or Workshop ItemDoan, 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. Thesis (University of Nottingham only)Doan, Thu Trang (2014) Meta-APL: a general language for agent programming. PhD thesis, University of Nottingham. |