Games, Automata, Logic, and Formal Verification (GandALF 2011)
Erich Grädel, Davide Bresolin, Marta Capiluppi, Martin Zimmermann, Sten Grüner, Frank G. Radmacher, Wolfgang Thomas, Stefan Haar, Christian Kern, Stefan Schwoon, Václav Brožek, Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco, Massimo Benerecetti, Marco Faella, Stefano Minopoli
•
D'Agostino, Giovanna
•
La Torre, S.
2013