DBLP Record 'conf/atal/TadjouddineGV08'

BibTeX

@inproceedings{DBLP:conf/atal/TadjouddineGV08,
  author    = {Emmanuel M. Tadjouddine and
               Frank Guerin and
               Wamberto Weber Vasconcelos},
  title     = {Abstractions for model-checking game-theoretic properties
               of auctions},
  booktitle = {AAMAS (3)},
  year      = {2008},
  pages     = {1613-1616},
  ee        = {http://doi.acm.org/10.1145/1402821.1402938},
  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}
}