@inproceedings{0c607c608ac211dbbb3d000ea68e967b,
title = "Uppaal: Now, Next, and Future",
author = "T. Amnell and Gerd Behrmann and J. Bengtsson and D'Argenio, {P. R.} and A. David and A. Fehnker and T. Hune and B. Jeannet and Larsen, {Kim Guldstrand} and M{\"o}ller, {M. O.} and P. Pettersson and C. Weise and W. Yi",
note = "ISSN ; 0302-9743; UPPAAL ; Conference date: 19-05-2010",
year = "2001",
language = "English",
isbn = "3540427872",
pages = "100--125",
editor = "{Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M.}",
booktitle = "Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19 - 23, 2000 : Revised Tutorial Lectures",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "2067",
}