Proceedings First Symposium on Games, Automata, Logic, and Formal Verification

Angelo Montanari Margherita Napoli Mimmo Parente Proceedings First Symposium on Games, Automata, Logic, and Formal Verification GANDALF http://dx.doi.org/10.4204/EPTCS.25 2010 EPTCS 25 db/series/eptcs/eptcs25.html