BibTeX record conf/atal/AlechinaLNR08

• > Home > conf/atal/AlechinaLNR08

@inproceedings{DBLP:conf/atal/AlechinaLNR08,
  author       = {Natasha Alechina and
                  Brian Logan and
                  Nguyen Hoang Nga and
                  Abdur Rakib},
  editor       = {Lin Padgham and
                  David C. Parkes and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  Simon Parsons},
  title        = {Verifying time, memory and communication bounds in systems of reasoning
                  agents},
  booktitle    = {7th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
                  2},
  pages        = {736--743},
  publisher    = {{IFAAMAS}},
  year         = {2008},
  url          = {https://dl.acm.org/citation.cfm?id=1402326},
  timestamp    = {Wed, 08 Dec 2021 09:19:05 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/AlechinaLNR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}