Model-Checking Counting Temporal Logics on Flat Structures (Q5111643)

From MaRDI portal
scientific article; zbMATH DE number 7204946
Language Label Description Also known as
English
Model-Checking Counting Temporal Logics on Flat Structures
scientific article; zbMATH DE number 7204946

    Statements

    0 references
    0 references
    0 references
    0 references
    0 references
    27 May 2020
    0 references
    counting temporal logic
    0 references
    model checking
    0 references
    flat Kripke structure
    0 references
    Model-Checking Counting Temporal Logics on Flat Structures (English)
    0 references

    Identifiers