Partial order reduction for checking LTL formulae with the next-time operator (Q3133158)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Partial order reduction for checking LTL formulae with the next-time operator
scientific article

    Statements

    Partial order reduction for checking LTL formulae with the next-time operator (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    13 February 2018
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references