UPPAAL - Present and Future

G. Behrmann, A. David, K.G. Larsen, O. Möller, P. Pettersson, Wentao Yi

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

70 Citations (Scopus)
Original languageUndefined
Title of host publicationProceedings of 40th IEEE Conference on Decision and Control
Pages-
Publication statusPublished - 2001
Event40th IEEE Conference on Decision and Control, CDC 2001 - Hyatt Regency Grand Cypress, Orlando, United States
Duration: 4 Dec 20017 Dec 2001

Conference

Conference40th IEEE Conference on Decision and Control, CDC 2001
Abbreviated titleCDC
CountryUnited States
CityOrlando
Period4/12/017/12/01

Keywords

  • METIS-204810

Cite this

Behrmann, G., David, A., Larsen, K. G., Möller, O., Pettersson, P., & Yi, W. (2001). UPPAAL - Present and Future. In Proceedings of 40th IEEE Conference on Decision and Control (pp. -)
Behrmann, G. ; David, A. ; Larsen, K.G. ; Möller, O. ; Pettersson, P. ; Yi, Wentao. / UPPAAL - Present and Future. Proceedings of 40th IEEE Conference on Decision and Control. 2001. pp. -
@inproceedings{b823db20d94a48e5b18063fce57a6bab,
title = "UPPAAL - Present and Future",
keywords = "METIS-204810",
author = "G. Behrmann and A. David and K.G. Larsen and O. M{\"o}ller and P. Pettersson and Wentao Yi",
year = "2001",
language = "Undefined",
pages = "--",
booktitle = "Proceedings of 40th IEEE Conference on Decision and Control",

}

Behrmann, G, David, A, Larsen, KG, Möller, O, Pettersson, P & Yi, W 2001, UPPAAL - Present and Future. in Proceedings of 40th IEEE Conference on Decision and Control. pp. -, 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, United States, 4/12/01.

UPPAAL - Present and Future. / Behrmann, G.; David, A.; Larsen, K.G.; Möller, O.; Pettersson, P.; Yi, Wentao.

Proceedings of 40th IEEE Conference on Decision and Control. 2001. p. -.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - UPPAAL - Present and Future

AU - Behrmann, G.

AU - David, A.

AU - Larsen, K.G.

AU - Möller, O.

AU - Pettersson, P.

AU - Yi, Wentao

PY - 2001

Y1 - 2001

KW - METIS-204810

M3 - Conference contribution

SP - -

BT - Proceedings of 40th IEEE Conference on Decision and Control

ER -

Behrmann G, David A, Larsen KG, Möller O, Pettersson P, Yi W. UPPAAL - Present and Future. In Proceedings of 40th IEEE Conference on Decision and Control. 2001. p. -