Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification (Q4994501)
From MaRDI portal
scientific article; zbMATH DE number 7361054
Language | Label | Description | Also known as |
---|---|---|---|
English | Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification |
scientific article; zbMATH DE number 7361054 |
Statements
18 June 2021
0 references
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification (English)
0 references