Robust Analysis of Timed Automata Via Channel Machines (Q5458357)

From MaRDI portal
scientific article; zbMATH DE number 5262406
Language Label Description Also known as
English
Robust Analysis of Timed Automata Via Channel Machines
scientific article; zbMATH DE number 5262406

    Statements

    Robust Analysis of Timed Automata Via Channel Machines (English)
    0 references
    0 references
    0 references
    0 references
    11 April 2008
    0 references
    0 references
    0 references