17 citations · 45 across the 18 of their papers we have counts for
1 paper · 1 filter
Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro
This volume contains the proceedings of the Eighth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2017). The symposium took place in Roma, Italy…