Guided Synthesis of Control Programs Using UPPAAL

K.G. Larsen

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

    Original languageUndefined
    Title of host publicationElectronic proceedings of DSVV'2000
    Place of PublicationTaipei (ROC)
    Pages-
    Publication statusPublished - 22 Mar 2000

    Keywords

    • METIS-119660

    Cite this

    Larsen, K. G. (2000). Guided Synthesis of Control Programs Using UPPAAL. In Electronic proceedings of DSVV'2000 (pp. -). Taipei (ROC).