Uppaal - Now, Next, and Future

T. Amnell, G. Behrmann, J. Bengtsson, P.R. d' Argenio, A. David, Ansgar Fehnker, T. Hune, B. Jeannet, K.G. Larsen, O. Möller, P. Pettersson, C. Weise, Wentao Yi

Original languageUndefined
Pages (from-to)100-125
JournalLecture notes in artificial intelligence
Volume2067
StatePublished - 2001

Keywords

  • METIS-205771

Cite this

Amnell, T., Behrmann, G., Bengtsson, J., d' Argenio, P. R., David, A., Fehnker, A., ... Yi, W. (2001). Uppaal - Now, Next, and Future. Lecture notes in artificial intelligence, 2067, 100-125.

Amnell, T.; Behrmann, G.; Bengtsson, J.; d' Argenio, P.R.; David, A.; Fehnker, Ansgar; Hune, T.; Jeannet, B.; Larsen, K.G.; Möller, O.; Pettersson, P.; Weise, C.; Yi, Wentao / Uppaal - Now, Next, and Future.

In: Lecture notes in artificial intelligence, Vol. 2067, 2001, p. 100-125.

Research output: Scientific - peer-reviewArticle

@article{3b37758fdb684a3b95fe6a69a8263cd1,
title = "Uppaal - Now, Next, and Future",
keywords = "METIS-205771",
author = "T. Amnell and G. Behrmann and J. Bengtsson and {d' Argenio}, P.R. and A. David and Ansgar Fehnker and T. Hune and B. Jeannet and K.G. Larsen and O. Möller and P. Pettersson and C. Weise and Wentao Yi",
note = "Proceedings of Modelling and Verification of Parallel Processes. Berlin: Springer-Verlag",
year = "2001",
volume = "2067",
pages = "100--125",
journal = "Lecture notes in artificial intelligence",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Amnell, T, Behrmann, G, Bengtsson, J, d' Argenio, PR, David, A, Fehnker, A, Hune, T, Jeannet, B, Larsen, KG, Möller, O, Pettersson, P, Weise, C & Yi, W 2001, 'Uppaal - Now, Next, and Future' Lecture notes in artificial intelligence, vol 2067, pp. 100-125.

Uppaal - Now, Next, and Future. / Amnell, T.; Behrmann, G.; Bengtsson, J.; d' Argenio, P.R.; David, A.; Fehnker, Ansgar; Hune, T.; Jeannet, B.; Larsen, K.G.; Möller, O.; Pettersson, P.; Weise, C.; Yi, Wentao.

In: Lecture notes in artificial intelligence, Vol. 2067, 2001, p. 100-125.

Research output: Scientific - peer-reviewArticle

TY - JOUR

T1 - Uppaal - Now, Next, and Future

AU - Amnell,T.

AU - Behrmann,G.

AU - Bengtsson,J.

AU - d' Argenio,P.R.

AU - David,A.

AU - Fehnker,Ansgar

AU - Hune,T.

AU - Jeannet,B.

AU - Larsen,K.G.

AU - Möller,O.

AU - Pettersson,P.

AU - Weise,C.

AU - Yi,Wentao

N1 - Proceedings of Modelling and Verification of Parallel Processes. Berlin: Springer-Verlag

PY - 2001

Y1 - 2001

KW - METIS-205771

M3 - Article

VL - 2067

SP - 100

EP - 125

JO - Lecture notes in artificial intelligence

T2 - Lecture notes in artificial intelligence

JF - Lecture notes in artificial intelligence

SN - 0302-9743

ER -

Amnell T, Behrmann G, Bengtsson J, d' Argenio PR, David A, Fehnker A et al. Uppaal - Now, Next, and Future. Lecture notes in artificial intelligence. 2001;2067:100-125.