@inproceedings{DBLP:conf/csl/LevyS14,
  title = "Transition systems over games",
  author = "Paul Blain Levy and Sam Staton",
  year = "2014",
  booktitle = "Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014",
  editor = "Thomas A. Henzinger and Dale Miller",
  pages = "64:1--64:10",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/2603088.2603150",
  doi = "10.1145/2603088.2603150",
}