Automated verification of an audio-control protocol using UPPAAL

J. Bengtsson, W.O.D. Griffioen, K.J. Kristoffersen, Kim Guldstrand Larsen, F. Larsson, P. Pettersson, W. Yi

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

Original language	English
Journal	Journal of Logic and Algebraic Programming
Volume	52-53
Pages (from-to)	163-181
ISSN	2352-2208
Publication status	Published - 2002

AUB Link

@article{548c4120809211db8b97000ea68e967b,

title = "Automated verification of an audio-control protocol using UPPAAL",

author = "J. Bengtsson and W.O.D. Griffioen and K.J. Kristoffersen and Larsen, {Kim Guldstrand} and F. Larsson and P. Pettersson and W. Yi",

year = "2002",

language = "English",

volume = "52-53",

pages = "163--181",

journal = "Journal of Logic and Algebraic Programming",

issn = "2352-2208",

publisher = "Elsevier",

}

TY - JOUR

T1 - Automated verification of an audio-control protocol using UPPAAL

AU - Bengtsson, J.

AU - Griffioen, W.O.D.

AU - Kristoffersen, K.J.

AU - Larsen, Kim Guldstrand

AU - Larsson, F.

AU - Pettersson, P.

AU - Yi, W.

PY - 2002

Y1 - 2002

M3 - Journal article

SN - 2352-2208

VL - 52-53

SP - 163

EP - 181

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

ER -