Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2

Angelo Montanari, Gabriele Puppis, Tiziano Villa

Montanari, Angelo

Puppis, Gabriele

Villa, Tiziano