9 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Angelo Montanari, Margherita Napoli, Mimmo Parente
This volume contains the Proceedings of the first Symposium on "Games, Automata, Logic, and Formal Verification (GandALF)", held in Minori (Amalfi coast), Italy, 17-18 June 2010. T…