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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	No. 1066
ISSN	0302-9743
Status	Udgivet - 1996

Bibliografisk 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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 -