30 citations · 30 across the 5 of their papers we have counts for
1 paper · 1 filter
Andrea Orlandini, Martin Zimmermann
This volume contains the proceedings of the Ninth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2018). The symposium took place in Saarbrücken,…