@misc{jamroga09habilitation,
  title         = {Modeling, Verification, and Strategic Reasoning in Multi-Agent Systems},
  author        = {W. Jamroga},
  year          = {2009},
  note          = {Habilitation thesis at Clausthal University of Technology, Germany}
}