"Proceedings 12th International Symposium on Games, Automata, Logics, and ..."

Pierre Ganty, Davide Bresolin (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics