Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
Adriano Peron
◽
Carla Piazza
Javier Esparza
◽
Enrico Tronci
Jérôme Leroux
◽
Jean-Francois Raskin
Andrea Orlandini
◽
Martin Zimmermann
Jean-Francois Raskin
◽
Davide Bresolin
Patricia Bouyer
◽
Andrea Orlandini
◽
Pierluigi San Pietro
Marco Faella
◽
Aniello Murano
Pierre Ganty
◽
Davide Bresolin