International Symposium on Games, Automata, Logics, and Formal Verification (9. : 2018 : Saarbrücken) Bezüge im Wissensnetz Veranstaltungsort (1) GND Saarbrücken Homepage (1) GND gandalf2018