LATTICED SIMULATION RELATIONS AND GAMES (Q3552519)

From MaRDI portal





scientific article
Language Label Description Also known as
English
LATTICED SIMULATION RELATIONS AND GAMES
scientific article

    Statements

    LATTICED SIMULATION RELATIONS AND GAMES (English)
    0 references
    0 references
    0 references
    22 April 2010
    0 references
    latticed Kripke structures
    0 references
    latticed two-player games
    0 references

    Identifiers