4 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
Giovanna D'Agostino, Salvatore La Torre
This volume contains the Proceedings of the Second International Symposium on Games, Automata, Languages, and Formal Verification (GandALF 2011). The conference was held in Minori…