UPPAAL - Now, Next, and Future

Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi

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

    72 Downloads (Pure)
    Original languageEnglish
    Title of host publicationModeling and Verification of Parallel Processes
    Subtitle of host publication4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures
    EditorsFranck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
    PublisherSpringer
    Pages99-124
    Number of pages26
    ISBN (Electronic)978-3-540-45510-3
    ISBN (Print)978-3-540-42787-2
    DOIs
    Publication statusPublished - 2000

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume2067

    Cite this

    Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., ... Yi, W. (2000). UPPAAL - Now, Next, and Future. In F. Cassez, C. Jard, B. Rozoy, & M. D. Ryan (Eds.), Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures (pp. 99-124). (Lecture Notes in Computer Science; Vol. 2067). Springer. https://doi.org/10.1007/3-540-45510-8_4