@inproceedings{DBLP:conf/atal/AlechinaJBLGS06,
author = {Natasha Alechina and
Mark Jago and
Piergiorgio Bertoli and
Brian Logan and
Chiara Ghidini and
Luciano Serafini},
title = {Verifying space and time requirements for resource-bounded
agents},
booktitle = {AAMAS},
year = {2006},
pages = {217-219},
ee = {http://doi.acm.org/10.1145/1160633.1160667},
crossref = {DBLP:conf/atal/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/atal/2006,
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {5th International Joint Conference on Autonomous Agents
and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May
8-12, 2006},
booktitle = {AAMAS},
publisher = {ACM},
year = {2006},
isbn = {1-59593-303-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-07-27 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
