How to stop time stopping (Q855006)

From MaRDI portal
scientific article
Language Label Description Also known as
English
How to stop time stopping
scientific article

    Statements

    How to stop time stopping (English)
    0 references
    0 references
    0 references
    20 December 2006
    0 references
    Timed automata
    0 references
    Zeno-timelocks
    0 references
    Model checking
    0 references
    Non-zenoness conditions
    0 references
    0 references
    0 references
    0 references

    Identifiers