(Q106245203)
Statements
GandALF 2016 (English)
1 reference
Seventh International Symposium on Games, Automata, Logics and Formal Verification (English)
1 reference
1 reference
1 reference
14 September 2016
1 reference
16 September 2016
1 reference
Identifiers
International Symposium on Games, Automata, Logics and Formal Verification (7. : 2016 : Catania)
1 reference