7 citations · 31 across the 11 of their papers we have counts for
1 paper · 2 filters
Marco Faella, Aniello Murano
This volume contains the proceedings of the Third International Symposium on Games, Automata, Logic and Formal Verification (GandALF), held in Naples (Italy) from September 6th to…