Uppaal: Now, Next, and Future

T. Amnell, Gerd Behrmann, J. Bengtsson, P. R. D'Argenio, A. David, A. Fehnker, T. Hune, B. Jeannet, Kim Guldstrand Larsen, M. O. Möller, P. Pettersson, C. Weise, W. Yi

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Original languageEnglish
Title of host publicationModeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19 - 23, 2000 : Revised Tutorial Lectures : Lecture Notes in Computer Science
EditorsCassez, F. : Jard, C. : Rozoy, B. : Ryan, M.
PublisherIEEE Computer Society Press
Publication date2001
Edition2067
Pages100-125
ISBN (Print)3540427872
Publication statusPublished - 2001
EventUPPAAL -
Duration: 19 May 2010 → …

Conference

ConferenceUPPAAL
Period19/05/2010 → …

Cite this