@PROCEEDINGS{pv13,
  editor = {G. Puppis and T. Villa},
  title = {Proceedings of the Fourth International Symposium on Games, Automata, 
           Logics and Formal Verification, GandALF 2013, 
           Borca di Cadore, Dolomites, Italy, 29-31th August 2013},
  series = {EPTCS},
  volume = {119},
  year = {2013},
}