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

Jean-François Raskin, Davide Bresolin (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics