International Symposium on Games, Automata, Logic and Formal Verification (3. : 2012 : Neapel) Bezüge im Wissensnetz Veranstaltungsort (1) GND Neapel