UPPAAL: Present and Future

Gerd Behrmann, A. David, Kim Guldstrand Larsen, O. Möller, P. Pettersson, W. Yi

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

OriginalsprogEngelsk
TitelProceedings of the 40th IEEE Conference on Decision and Control
ForlagElectrical Engineering/Electronics, Computer, Communications and Information Technology Association
Publikationsdato2001
ISBN (Trykt)0780370619
StatusUdgivet - 2001
BegivenhedUPPAAL -
Varighed: 19 maj 2010 → …

Konference

KonferenceUPPAAL
Periode19/05/2010 → …

Bibliografisk note

Vol. 3, pp. 2881-2886

Citer dette

Behrmann, G., David, A., Larsen, K. G., Möller, O., Pettersson, P., & Yi, W. (2001). UPPAAL: Present and Future. I Proceedings of the 40th IEEE Conference on Decision and Control Electrical Engineering/Electronics, Computer, Communications and Information Technology Association.
Behrmann, Gerd ; David, A. ; Larsen, Kim Guldstrand ; Möller, O. ; Pettersson, P. ; Yi, W. / UPPAAL : Present and Future. Proceedings of the 40th IEEE Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, 2001.
@inproceedings{17eeb4709c2e11db8ed6000ea68e967b,
title = "UPPAAL: Present and Future",
author = "Gerd Behrmann and A. David and Larsen, {Kim Guldstrand} and O. M{\"o}ller and P. Pettersson and W. Yi",
note = "Vol. 3, pp. 2881-2886",
year = "2001",
language = "English",
isbn = "0780370619",
booktitle = "Proceedings of the 40th IEEE Conference on Decision and Control",
publisher = "Electrical Engineering/Electronics, Computer, Communications and Information Technology Association",

}

Behrmann, G, David, A, Larsen, KG, Möller, O, Pettersson, P & Yi, W 2001, UPPAAL: Present and Future. i Proceedings of the 40th IEEE Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, UPPAAL, 19/05/2010.

UPPAAL : Present and Future. / Behrmann, Gerd; David, A.; Larsen, Kim Guldstrand; Möller, O.; Pettersson, P.; Yi, W.

Proceedings of the 40th IEEE Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, 2001.

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

TY - GEN

T1 - UPPAAL

T2 - Present and Future

AU - Behrmann, Gerd

AU - David, A.

AU - Larsen, Kim Guldstrand

AU - Möller, O.

AU - Pettersson, P.

AU - Yi, W.

N1 - Vol. 3, pp. 2881-2886

PY - 2001

Y1 - 2001

M3 - Article in proceeding

SN - 0780370619

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

PB - Electrical Engineering/Electronics, Computer, Communications and Information Technology Association

ER -

Behrmann G, David A, Larsen KG, Möller O, Pettersson P, Yi W. UPPAAL: Present and Future. I Proceedings of the 40th IEEE Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association. 2001