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