Continuous time temporal logic with counting (Q418179)

From MaRDI portal





scientific article; zbMATH DE number 6038309
Language Label Description Also known as
English
Continuous time temporal logic with counting
scientific article; zbMATH DE number 6038309

    Statements

    Identifiers