Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification

@inproceedings{Faella2012ProceedingsTI,
  title={Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification},
  author={Marco Faella and Aniello Murano},
  year={2012}
}
This volume contains the proceedings of the Third International Symposium on Games, Automata, Logic and Formal Verification (GandALF), held in Naples (Italy) from September 6th to 8th, 2012. GandALF was founded by a number of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with…