Generating Path Conditions for Timed Systems (Q5429305)

From MaRDI portal
scientific article; zbMATH DE number 5216185
Language Label Description Also known as
English
Generating Path Conditions for Timed Systems
scientific article; zbMATH DE number 5216185

    Statements

    Generating Path Conditions for Timed Systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    29 November 2007
    0 references

    Identifiers

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