21 citations · 115 across the 16 of their papers we have counts for
1 paper · 2 filters
Javier Esparza, Enrico Tronci
This volume contains the proceedings of the Sixth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2015). The symposium took place in Genoa, Italy…