Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying time, memory and communication bounds in systems of reasoning agents. In Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons, editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2. pages 736-743, IFAAMAS, 2008. [doi]
@inproceedings{AlechinaLNR08:1,
title = {Verifying time, memory and communication bounds in systems of reasoning agents},
author = {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib},
year = {2008},
doi = {10.1145/1402298.1402326},
url = {http://doi.acm.org/10.1145/1402298.1402326},
researchr = {https://researchr.org/publication/AlechinaLNR08%3A1},
cites = {0},
citedby = {0},
pages = {736-743},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2},
editor = {Lin Padgham and David C. Parkes and Jörg Müller and Simon Parsons},
publisher = {IFAAMAS},
isbn = {978-0-9817381-1-6},
}