CohenDLR09'

@inproceedings{DBLP:conf/atal/CohenDLR09,
  author    = {Mika Cohen and
               Mads Dam and
               Alessio Lomuscio and
               Francesco Russo},
  title     = {Abstraction in model checking multi-agent systems},
  booktitle = {AAMAS (2)},
  year      = {2009},
  pages     = {945-952},
  ee        = {http://doi.acm.org/10.1145/1558109.1558144},
  crossref  = {DBLP:conf/atal/2009-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/atal/2009-2,
  editor    = {Carles Sierra and
               Cristiano Castelfranchi and
               Keith S. Decker and
               Jaime Sim{\~a}o Sichman},
  title     = {8th International Joint Conference on Autonomous Agents
               and Multiagent Systems (AAMAS 2009), Budapest, Hungary,
               May 10-15, 2009, Volume 2},
  booktitle = {AAMAS (2)},
  publisher = {IFAAMAS},
  year      = {2009},
  isbn      = {978-0-9817381-7-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}