Verification 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 International Conference on Application and Theory of Petri Nets
    Place of PublicationKopenhagen
    Pages39-42
    Publication statusPublished - 22 Mar 2000

    Keywords

    • METIS-119669

    Cite this