@InProceedings{thielscher:CGW12,
  author = 	"Ji Ruan and Michael Thielscher",
  title =       "Model Checking Games in {GDL-II}",
  booktitle =   "Proceedings of the Computer Games Workshop at ECAI",
  editor =	"Tristan Cazenave",
  year = 	2012,
  address = 	"Montpellier",
  month =       aug
}