On the Relationship between LTL Normal Forms and Büchi Automata (Q2842641)

From MaRDI portal
Revision as of 18:06, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the Relationship between LTL Normal Forms and Büchi Automata
scientific article

    Statements

    On the Relationship between LTL Normal Forms and Büchi Automata (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    16 August 2013
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references