Tool Supported Validation of Timed and Hybrid Systems

K.G. Larsen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProceedings of the 4th International Conference of Automation of Mixed Processes
    Place of PublicationDortmund
    Pages-
    Publication statusPublished - 22 Mar 2000

    Keywords

    • METIS-119658

    Cite this

    Larsen, K. G. (2000). Tool Supported Validation of Timed and Hybrid Systems. In Proceedings of the 4th International Conference of Automation of Mixed Processes (pp. -). Dortmund.
    Larsen, K.G. / Tool Supported Validation of Timed and Hybrid Systems. Proceedings of the 4th International Conference of Automation of Mixed Processes. Dortmund, 2000. pp. -
    @inproceedings{fb9e0bd3395b4523baa59627c9897c0a,
    title = "Tool Supported Validation of Timed and Hybrid Systems",
    keywords = "METIS-119658",
    author = "K.G. Larsen",
    year = "2000",
    month = "3",
    day = "22",
    language = "Undefined",
    pages = "--",
    booktitle = "Proceedings of the 4th International Conference of Automation of Mixed Processes",

    }

    Larsen, KG 2000, Tool Supported Validation of Timed and Hybrid Systems. in Proceedings of the 4th International Conference of Automation of Mixed Processes. Dortmund, pp. -.

    Tool Supported Validation of Timed and Hybrid Systems. / Larsen, K.G.

    Proceedings of the 4th International Conference of Automation of Mixed Processes. Dortmund, 2000. p. -.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Tool Supported Validation of Timed and Hybrid Systems

    AU - Larsen, K.G.

    PY - 2000/3/22

    Y1 - 2000/3/22

    KW - METIS-119658

    M3 - Conference contribution

    SP - -

    BT - Proceedings of the 4th International Conference of Automation of Mixed Processes

    CY - Dortmund

    ER -

    Larsen KG. Tool Supported Validation of Timed and Hybrid Systems. In Proceedings of the 4th International Conference of Automation of Mixed Processes. Dortmund. 2000. p. -