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

    54 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
    Amnell, Tobias ; Behrmann, Gerd ; Bengtsson, Johan ; D'Argenio, Pedro R. ; David, Alexandre ; Fehnker, Ansgar ; Hune, Thomas ; Jeannet, Bertrand ; Larsen, Kim Guldstrand ; Möller, M. Oliver ; Pettersson, Paul ; Weise, Carsten ; Yi, Wang. / UPPAAL - Now, Next, and Future. Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures. editor / Franck Cassez ; Claude Jard ; Brigitte Rozoy ; Mark Dermot Ryan. Springer, 2000. pp. 99-124 (Lecture Notes in Computer Science).
    @inproceedings{9b2ec912351d4e81b0e5b3000eea4b82,
    title = "UPPAAL - Now, Next, and Future",
    author = "Tobias Amnell and Gerd Behrmann and Johan Bengtsson and D'Argenio, {Pedro R.} and Alexandre David and Ansgar Fehnker and Thomas Hune and Bertrand Jeannet and Larsen, {Kim Guldstrand} and M{\"o}ller, {M. Oliver} and Paul Pettersson and Carsten Weise and Wang Yi",
    year = "2000",
    doi = "10.1007/3-540-45510-8_4",
    language = "English",
    isbn = "978-3-540-42787-2",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "99--124",
    editor = "Franck Cassez and Claude Jard and Brigitte Rozoy and Ryan, {Mark Dermot}",
    booktitle = "Modeling and Verification of Parallel Processes",

    }

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

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

    Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures. ed. / Franck Cassez; Claude Jard; Brigitte Rozoy; Mark Dermot Ryan. Springer, 2000. p. 99-124 (Lecture Notes in Computer Science; Vol. 2067).

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

    TY - GEN

    T1 - UPPAAL - Now, Next, and Future

    AU - Amnell, Tobias

    AU - Behrmann, Gerd

    AU - Bengtsson, Johan

    AU - D'Argenio, Pedro R.

    AU - David, Alexandre

    AU - Fehnker, Ansgar

    AU - Hune, Thomas

    AU - Jeannet, Bertrand

    AU - Larsen, Kim Guldstrand

    AU - Möller, M. Oliver

    AU - Pettersson, Paul

    AU - Weise, Carsten

    AU - Yi, Wang

    PY - 2000

    Y1 - 2000

    U2 - 10.1007/3-540-45510-8_4

    DO - 10.1007/3-540-45510-8_4

    M3 - Conference contribution

    SN - 978-3-540-42787-2

    T3 - Lecture Notes in Computer Science

    SP - 99

    EP - 124

    BT - Modeling and Verification of Parallel Processes

    A2 - Cassez, Franck

    A2 - Jard, Claude

    A2 - Rozoy, Brigitte

    A2 - Ryan, Mark Dermot

    PB - Springer

    ER -

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