BibTeX record conf/atal/TadjouddineGV08

• > Home > conf/atal/TadjouddineGV08

@inproceedings{DBLP:conf/atal/TadjouddineGV08,
  author       = {Emmanuel M. Tadjouddine and
                  Frank Guerin and
                  Wamberto Weber Vasconcelos},
  editor       = {Lin Padgham and
                  David C. Parkes and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  Simon Parsons},
  title        = {Abstractions for model-checking game-theoretic properties of auctions},
  booktitle    = {7th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
                  3},
  pages        = {1613--1616},
  publisher    = {{IFAAMAS}},
  year         = {2008},
  url          = {https://dl.acm.org/citation.cfm?id=1402938},
  timestamp    = {Fri, 30 Nov 2018 02:24:55 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/TadjouddineGV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}