UPPAAL: a Tool Suite for Automatic Verification of Real Time Systems

J. Bengtsson; Kim Guldstrand Larsen; F. Larsson; P. Pettersson; Wang Yi

UPPAAL: a Tool Suite for Automatic Verification of Real Time Systems

J. Bengtsson, Kim Guldstrand Larsen, F. Larsson, P. Pettersson, Wang Yi

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Volume	No. 1066
ISSN	0302-9743
Publication status	Published - 1996

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{1094e1309c2f11db8ed6000ea68e967b,

title = "UPPAAL: a Tool Suite for Automatic Verification of Real Time Systems",

author = "J. Bengtsson and Larsen, {Kim Guldstrand} and F. Larsson and P. Pettersson and Wang Yi",

note = "To Appear in Proceedings of Workshop on Verification and Control of Hybrid Systems, DIMACS To Appear in Proceedings of Workshop on Verification and Control of Hybrid Systems, DIMACS",

year = "1996",

language = "English",

volume = "No. 1066",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - JOUR

T1 - UPPAAL

T2 - a Tool Suite for Automatic Verification of Real Time Systems

AU - Bengtsson, J.

AU - Larsen, Kim Guldstrand

AU - Larsson, F.

AU - Pettersson, P.

AU - Yi, Wang

N1 - To Appear in Proceedings of Workshop on Verification and Control of Hybrid Systems, DIMACS To Appear in Proceedings of Workshop on Verification and Control of Hybrid Systems, DIMACS

PY - 1996

Y1 - 1996

M3 - Journal article

SN - 0302-9743

VL - No. 1066

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -