International Symposium on Games, Automata, Logics, and Formal Verification (10. : 2019 : Bordeaux) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bordeaux Homepage (1) GND gandalf2019.sciencesconf.org