Model-Checking One-Clock Priced Timed Automata (Q5758051)

From MaRDI portal
scientific article; zbMATH DE number 5188984
Language Label Description Also known as
English
Model-Checking One-Clock Priced Timed Automata
scientific article; zbMATH DE number 5188984

    Statements

    Model-Checking One-Clock Priced Timed Automata (English)
    0 references
    0 references
    0 references
    0 references
    7 September 2007
    0 references

    Identifiers