No label defined (Q2920149)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    24 October 2012
    0 references
    timed systems
    0 references
    optimal scheduling
    0 references
    priced timed automata
    0 references
    games
    0 references
    model-checking
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references