DBLP Record 'conf/atal/DennisFBF08'

BibTeX

@inproceedings{DBLP:conf/atal/DennisFBF08,
  author    = {Louise A. Dennis and
               Berndt Farwer and
               Rafael H. Bordini and
               Michael Fisher},
  title     = {A flexible framework for verifying agent programs},
  booktitle = {AAMAS (3)},
  year      = {2008},
  pages     = {1303-1306},
  ee        = {http://doi.acm.org/10.1145/1402821.1402857},
  crossref  = {DBLP:conf/atal/2008-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/atal/2008-3,
  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 3},
  booktitle = {AAMAS (3)},
  publisher = {IFAAMAS},
  year      = {2008},
  isbn      = {978-0-9817381-2-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}