International Symposium on Games, Automata, Logics and Formal Verification (7. : 2016 : Catania) Bezüge im Wissensnetz Veranstaltungsort (1) GND Catania