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