37 citations · 116 across the 18 of their papers we have counts for
1 paper · 2 filters
Adriano Peron, Carla Piazza
This volume contains the proceedings of the Fifth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2014). The symposium took place in Verona, Ital…