@incollection{springerlink:10.1007/978-3-642-31915-0_6,
  isbn = {978-3-642-31914-3},
  affiliation = {Computational Intelligence Group, Clausthal University of Technology, Julius-Albert-Str. 4, 38678 Clausthal-Zellerfeld, Germany},
  year = {2012},
  editor = {Dennis, Louise and Boissier, Olivier and Bordini, Rafael},
  title = {Abstraction for Model Checking Modular Interpreted Systems over ATL},
  author = {K{\"o}ster, Michael and Lohmann, Peter},
  url = {http://dx.doi.org/10.1007/978-3-642-31915-0_6},
  booktitle = {Programming Multi-Agent Systems},
  note = {10.1007/978-3-642-31915-0_6},
  publisher = {Springer Berlin / Heidelberg},
  keyword = {Computer Science},
  series = {Lecture Notes in Computer Science},
  rgroup = {cig},
  pages = {95-113},
  volume = {7217}
}