Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification (Q5107274): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
label / enlabel / en
 
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1709.01761 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2751386738 / rank
 
Normal rank
Property / title
 
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification (English)
Property / title: Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification (English) / rank
 
Normal rank

Latest revision as of 08:22, 30 July 2024

scientific article; zbMATH DE number 7190835
Language Label Description Also known as
English
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification
scientific article; zbMATH DE number 7190835

    Statements

    20 April 2020
    0 references
    Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references