Games, automata, logics, and formal verification (GandALF 2013)
scientific article; zbMATH DE number 6516961