7 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Gabriele Puppis, Tiziano Villa
This volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2013). The symposium took place in Borca di Ca…