SWITCHING GRAPHS (Q3646171)

From MaRDI portal
scientific article
Language Label Description Also known as
English
SWITCHING GRAPHS
scientific article

    Statements

    SWITCHING GRAPHS (English)
    0 references
    0 references
    0 references
    19 November 2009
    0 references
    switching graphs
    0 references
    parity games
    0 references
    Boolean equation systems
    0 references
    model checking
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references