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

doi:10.1007/3-540-45510-8_4

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 proceeding › Conference contribution › Academic › peer-review

269 Downloads (Pure)

Original language	English
Title of host publication	Modeling and Verification of Parallel Processes
Subtitle of host publication	4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures
Editors	Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	99-124
Number of pages	26
ISBN (Electronic)	978-3-540-45510-3
ISBN (Print)	978-3-540-42787-2
DOIs	https://doi.org/10.1007/3-540-45510-8_4
Publication status	Published - 2000
Event	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000 - Nantes, France Duration: 19 Jun 2000 → 23 Jun 2000

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2067
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000
Period	19/06/00 → 23/06/00
Other	June 19-23, 2000

Keywords

n/a OA procedure

Access to Document

10.1007/3-540-45510-8_4

Uppaal_-_Now_Next_and_FutureAccepted author version, 980 KB

Cite this

Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, M. O., Pettersson, P., Weise, C., & Yi, W. (2000). UPPAAL - Now, Next, and Future. In F. Cassez, C. Jard, B. Rozoy, & M. D. Ryan (Eds.), Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures (pp. 99-124). (Lecture Notes in Computer Science; Vol. 2067). Springer. https://doi.org/10.1007/3-540-45510-8_4

Amnell, Tobias ; Behrmann, Gerd ; Bengtsson, Johan et al. / 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. editor / Franck Cassez ; Claude Jard ; Brigitte Rozoy ; Mark Dermot Ryan. Berlin, Heidelberg : Springer, 2000. pp. 99-124 (Lecture Notes in Computer Science).

@inproceedings{9b2ec912351d4e81b0e5b3000eea4b82,

title = "UPPAAL - Now, Next, and Future",

keywords = "n/a OA procedure",

author = "Tobias Amnell and Gerd Behrmann and Johan Bengtsson and D'Argenio, {Pedro R.} and Alexandre David and Ansgar Fehnker and Thomas Hune and Bertrand Jeannet and Larsen, {Kim G.} and M{\"o}ller, {M. Oliver} and Paul Pettersson and Carsten Weise and Wang Yi",

year = "2000",

doi = "10.1007/3-540-45510-8_4",

language = "English",

isbn = "978-3-540-42787-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "99--124",

editor = "Franck Cassez and Claude Jard and Brigitte Rozoy and Ryan, {Mark Dermot}",

booktitle = "Modeling and Verification of Parallel Processes",

address = "Germany",

note = "Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000 ; Conference date: 19-06-2000 Through 23-06-2000",

}

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 2000, UPPAAL - Now, Next, and Future. in F Cassez, C Jard, B Rozoy & MD Ryan (eds), 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, vol. 2067, Springer, Berlin, Heidelberg, pp. 99-124, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, 19/06/00. https://doi.org/10.1007/3-540-45510-8_4

UPPAAL - Now, Next, and Future. / Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan et al.
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures. ed. / Franck Cassez; Claude Jard; Brigitte Rozoy; Mark Dermot Ryan. Berlin, Heidelberg: Springer, 2000. p. 99-124 (Lecture Notes in Computer Science; Vol. 2067).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - UPPAAL - Now, Next, and Future

AU - Amnell, Tobias

AU - Behrmann, Gerd

AU - Bengtsson, Johan

AU - D'Argenio, Pedro R.

AU - David, Alexandre

AU - Fehnker, Ansgar

AU - Hune, Thomas

AU - Jeannet, Bertrand

AU - Larsen, Kim G.

AU - Möller, M. Oliver

AU - Pettersson, Paul

AU - Weise, Carsten

AU - Yi, Wang

PY - 2000

Y1 - 2000

KW - n/a OA procedure

U2 - 10.1007/3-540-45510-8_4

DO - 10.1007/3-540-45510-8_4

M3 - Conference contribution

SN - 978-3-540-42787-2

T3 - Lecture Notes in Computer Science

SP - 99

EP - 124

BT - Modeling and Verification of Parallel Processes

A2 - Cassez, Franck

A2 - Jard, Claude

A2 - Rozoy, Brigitte

A2 - Ryan, Mark Dermot

PB - Springer

CY - Berlin, Heidelberg

T2 - Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000

Y2 - 19 June 2000 through 23 June 2000

ER -

Amnell T, Behrmann G, Bengtsson J, D'Argenio PR, David A, Fehnker A et al. UPPAAL - Now, Next, and Future. In Cassez F, Jard C, Rozoy B, Ryan MD, editors, Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures. Berlin, Heidelberg: Springer. 2000. p. 99-124. (Lecture Notes in Computer Science). doi: 10.1007/3-540-45510-8_4