On Continuous Timed Automata with Input-Determined Guards (Q5386000)

From MaRDI portal
scientific article; zbMATH DE number 5265228
Language Label Description Also known as
English
On Continuous Timed Automata with Input-Determined Guards
scientific article; zbMATH DE number 5265228

    Statements

    On Continuous Timed Automata with Input-Determined Guards (English)
    0 references
    0 references
    0 references
    0 references
    17 April 2008
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references