Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (Q5166674)

From MaRDI portal
scientific article; zbMATH DE number 6314144
Language Label Description Also known as
English
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
scientific article; zbMATH DE number 6314144

    Statements

    Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    8 July 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references