UPPAAL - Present and Future

G. Behrmann, A. David, K.G. Larsen, O. Möller, P. Pettersson, Wentao Yi

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

    71 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of 40th IEEE Conference on Decision and Control
    Pages-
    Publication statusPublished - 2001
    Event40th IEEE Conference on Decision and Control, CDC 2001 - Hyatt Regency Grand Cypress, Orlando, United States
    Duration: 4 Dec 20017 Dec 2001

    Conference

    Conference40th IEEE Conference on Decision and Control, CDC 2001
    Abbreviated titleCDC
    CountryUnited States
    CityOrlando
    Period4/12/017/12/01

    Keywords

    • METIS-204810

    Cite this

    Behrmann, G., David, A., Larsen, K. G., Möller, O., Pettersson, P., & Yi, W. (2001). UPPAAL - Present and Future. In Proceedings of 40th IEEE Conference on Decision and Control (pp. -)