ESTL: A Temporal Logic for Events and States (Q6487400)

From MaRDI portal
scientific article; zbMATH DE number 7631073
Language Label Description Also known as
English
ESTL: A Temporal Logic for Events and States
scientific article; zbMATH DE number 7631073

    Statements

    Identifiers