%0 Conference Paper %1 conf/atal/AlechinaJBLGS06 %A Alechina, Natasha %A Jago, Mark %A Bertoli, Piergiorgio %A Logan, Brian %A Ghidini, Chiara %A Serafini, Luciano %B AAMAS %D 2006 %E Nakashima, Hideyuki %E Wellman, Michael P. %E Weiss, Gerhard %E Stone, Peter %I ACM %K dblp %P 217-219 %T Verifying space and time requirements for resource-bounded agents. %U http://dblp.uni-trier.de/db/conf/atal/aamas2006.html#AlechinaJBLGS06 %@ 1-59593-303-4

@inproceedings{conf/atal/AlechinaJBLGS06, added-at = {2021-12-08T00:00:00.000+0100}, author = {Alechina, Natasha and Jago, Mark and Bertoli, Piergiorgio and Logan, Brian and Ghidini, Chiara and Serafini, Luciano}, biburl = {https://www.bibsonomy.org/bibtex/211431e05bc2d407d81d3f9994166a795/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2006}, editor = {Nakashima, Hideyuki and Wellman, Michael P. and Weiss, Gerhard and Stone, Peter}, ee = {https://www.wikidata.org/entity/Q57302204}, interhash = {e935af39873e73a315920928151a42fd}, intrahash = {11431e05bc2d407d81d3f9994166a795}, isbn = {1-59593-303-4}, keywords = {dblp}, pages = {217-219}, publisher = {ACM}, timestamp = {2024-04-10T02:26:58.000+0200}, title = {Verifying space and time requirements for resource-bounded agents.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2006.html#AlechinaJBLGS06}, year = 2006 }