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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelModeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19 - 23, 2000 : Revised Tutorial Lectures : Lecture Notes in Computer Science
RedaktørerCassez, F. : Jard, C. : Rozoy, B. : Ryan, M.
ForlagIEEE Computer Society Press
Publikationsdato2001
Udgave2067
Sider100-125
ISBN (Trykt)3540427872
StatusUdgivet - 2001
BegivenhedUPPAAL -
Varighed: 19 maj 2010 → …

Konference

KonferenceUPPAAL
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citer dette

Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., ... Yi, W. (2001). Uppaal: Now, Next, and Future. I Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M. (red.), 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 (2067 udg., s. 100-125). IEEE Computer Society Press.
Amnell, T. ; Behrmann, Gerd ; Bengtsson, J. ; D'Argenio, P. R. ; David, A. ; Fehnker, A. ; Hune, T. ; Jeannet, B. ; Larsen, Kim Guldstrand ; Möller, M. O. ; Pettersson, P. ; Weise, C. ; Yi, W. / 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: Lecture Notes in Computer Science. red. / Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M. 2067. udg. IEEE Computer Society Press, 2001. s. 100-125
@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",
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",

}

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 2001, Uppaal: Now, Next, and Future. i Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M. (red.), 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. 2067 udg, IEEE Computer Society Press, s. 100-125, UPPAAL, 19/05/2010.

Uppaal : Now, Next, and Future. / Amnell, T.; Behrmann, Gerd; Bengtsson, J.; D'Argenio, P. R.; David, A.; Fehnker, A.; Hune, T.; Jeannet, B.; Larsen, Kim Guldstrand; Möller, M. O.; Pettersson, P.; Weise, C.; Yi, W.

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. red. / Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M. 2067. udg. IEEE Computer Society Press, 2001. s. 100-125.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

TY - GEN

T1 - Uppaal

T2 - Now, Next, and Future

AU - Amnell, T.

AU - Behrmann, Gerd

AU - Bengtsson, J.

AU - D'Argenio, P. R.

AU - David, A.

AU - Fehnker, A.

AU - Hune, T.

AU - Jeannet, B.

AU - Larsen, Kim Guldstrand

AU - Möller, M. O.

AU - Pettersson, P.

AU - Weise, C.

AU - Yi, W.

N1 - ISSN ; 0302-9743

PY - 2001

Y1 - 2001

M3 - Article in proceeding

SN - 3540427872

SP - 100

EP - 125

BT - Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19 - 23, 2000 : Revised Tutorial Lectures

A2 - Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M., null

PB - IEEE Computer Society Press

ER -

Amnell T, Behrmann G, Bengtsson J, D'Argenio PR, David A, Fehnker A et al. Uppaal: Now, Next, and Future. I Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M., red., 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. 2067 udg. IEEE Computer Society Press. 2001. s. 100-125