Partial-order reduction in the weak modal mu-calculus (Q6044105)

From MaRDI portal
scientific article; zbMATH DE number 7686610
Language Label Description Also known as
English
Partial-order reduction in the weak modal mu-calculus
scientific article; zbMATH DE number 7686610

    Statements

    Partial-order reduction in the weak modal mu-calculus (English)
    0 references
    0 references
    0 references
    17 May 2023
    0 references
    0 references
    0 references