UPPAAL - Now, Next, and Future

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

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

    166 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
    Number of pages26
    ISBN (Electronic)978-3-540-45510-3
    ISBN (Print)978-3-540-42787-2
    Publication statusPublished - 2000

    Publication series

    NameLecture Notes in Computer Science

    Cite this