BibTeX
@inproceedings{DBLP:conf/atal/AlechinaLNR08,
author = {Natasha Alechina and
Brian Logan and
Nguyen Hoang Nga and
Abdur Rakib},
title = {Verifying time, memory and communication bounds in systems
of reasoning agents},
booktitle = {AAMAS (2)},
year = {2008},
pages = {736-743},
ee = {http://doi.acm.org/10.1145/1402298.1402326},
crossref = {DBLP:conf/atal/2008-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/atal/2008-2,
editor = {Lin Padgham and
David C. Parkes and
J{\"o}rg M{\"u}ller and
Simon Parsons},
title = {7th International Joint Conference on Autonomous Agents
and Multiagent Systems (AAMAS 2008), Estoril, Portugal,
May 12-16, 2008, Volume 2},
booktitle = {AAMAS (2)},
publisher = {IFAAMAS},
year = {2008},
isbn = {978-0-9817381-1-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-08-18 by Michael Ley (ley@uni-trier.de)