Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016 (Q106245203)
Jump to navigation
Jump to search
academic conference
- 7th GandALF 2016: Catania, Italy
Language | Label | Description | Also known as |
---|---|---|---|
English | Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016 |
academic conference |
|
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