AlechinaLNR08'

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}
}