International Symposium on Games, Automata, Logic and Formal Verification (2 : 2011 : Minori) Bezüge im Wissensnetz Veranstaltungsort (1) GND Minori