An Asymptotically Correct Finite Path Semantics for LTL (Q2891462)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An Asymptotically Correct Finite Path Semantics for LTL
scientific article

    Statements

    An Asymptotically Correct Finite Path Semantics for LTL (English)
    0 references
    0 references
    0 references
    0 references
    15 June 2012
    0 references

    Identifiers