Quantified CTL: Expressiveness and Complexity (Q2938770)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantified CTL: Expressiveness and Complexity
scientific article

    Statements

    Quantified CTL: Expressiveness and Complexity (English)
    0 references
    0 references
    0 references
    15 January 2015
    0 references
    temporal logics
    0 references
    model checking
    0 references
    expressiveness
    0 references
    tree automata
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references