4 citations · 18 across the 15 of their papers we have counts for
1 paper · 1 filter
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…