Adding partial orders to linear temporal logic (Q6044113)

From MaRDI portal
scientific article; zbMATH DE number 7686617
Language Label Description Also known as
English
Adding partial orders to linear temporal logic
scientific article; zbMATH DE number 7686617

    Statements

    Identifiers