@visit{Koester:Luxemburg:2011,
  file = {luxemburg2011-hp.pdf},
  type = {Research visit},
  year = {2011},
  title = {Specification and Verification of Multi-Agent Systems for Local Communities},
  author = {K{\"o}ster, Michael},
  url = {http://icr.uni.lu/wjamroga/},
  thumbnail = {luxemburg2011-hp.png},
  date = {dec 12--15},
  address = {Individual and Collective Reasoning Group, Campus Kirchberg, L-1359 Luxembourg},
  rgroup = {cig},
  person = {Privatdozent Dr. habil. Wojciech Jamroga}
}