@inproceedings{Koster:2011:AMC:2034396.2034452,
  author = {Koester, Michael and Lohmann, Peter},
  rgroup = {cig},
  title = {Abstraction for model checking modular interpreted systems over ATL},
  booktitle = {The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3},
  series = {AAMAS '11},
  year = {2011},
  isbn = {0-9826571-7-X, 978-0-9826571-7-1},
  location = {Taipei, Taiwan},
  pages = {1129--1130},
  numpages = {2},
  url = {http://dl.acm.org/citation.cfm?id=2034396.2034452},
  acmid = {2034452},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
  address = {Richland, SC},
  keywords = {abstraction, model checking, modular interpreted systems, temporal and strategic logics},
  file = {mis-abstraction.aamas-extended_abstract-hp.pdf}
}