88 citations · 281 across the 25 of their papers we have counts for
1 paper · 2 filters
Jérôme Leroux, Jean-Francois Raskin
This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, Fr…