No label defined (Q5875419)

From MaRDI portal
scientific article; zbMATH DE number 7649960
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7649960

    Statements

    0 references
    0 references
    0 references
    3 February 2023
    0 references
    0 references
    automata theory
    0 references
    automata over infinite words
    0 references
    deterministic automata
    0 references
    linear temporal logic
    0 references
    model checking
    0 references
    verified algorithms
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references