%0 Conference Paper %1 Alechinaetal:AAMAS:2006 %A Alechina, Natasha %A Bertoli, Piergiorgio %A Ghidini, Chiara %A Jago, Mark %A Logan, Brian %A Serafini, Luciano %B proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) %C Hakodate, Japan %D 2006 %K bounded reasoning resource %P 217-219 %T Verifying space and time requirements for resource-bounded agents

@inproceedings{Alechinaetal:AAMAS:2006, added-at = {2009-06-02T16:23:00.000+0200}, address = {Hakodate, Japan}, author = {Alechina, Natasha and Bertoli, Piergiorgio and Ghidini, Chiara and Jago, Mark and Logan, Brian and Serafini, Luciano}, biburl = {https://www.bibsonomy.org/bibtex/23930bc01a01686a75c49f604d5be8a32/cghidini}, booktitle = {proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006)}, date-added = {2008-07-04 10:01:20 +0200}, date-modified = {2008-07-04 10:02:55 +0200}, interhash = {e935af39873e73a315920928151a42fd}, intrahash = {3930bc01a01686a75c49f604d5be8a32}, keywords = {bounded reasoning resource}, month = {8-12 May}, pages = {217-219}, timestamp = {2009-06-02T16:38:29.000+0200}, title = {Verifying space and time requirements for resource-bounded agents}, year = 2006 }