@ARTICLE{mpv15,
  author = {A. Montanari and G. Puppis and T. Villa},
  title = {Games, Automata, Logic and Formal Verification (GandALF 2013)},
  journal = {Special issue of Information and Computation},
  year = {2015},
  volume = {245},
  pages = {1-2},
  publisher = {Springer}
}