GandALF 2011
Minori, (Amalfi coast),
Italy - 15-17 June 2011

Second International Symposium on
Games, Automata, Logics and Formal Verification