Automatic Verification of Real-Time Systems Using Epsilon

Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou

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

OriginalsprogEngelsk
TitelFourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94
RedaktørerVoung, S.-T. : Chanson, S.-T. (Eds.)
ForlagChapman & Hall
Publikationsdato1994
Sider232-330
StatusUdgivet - 1994
BegivenhedAutomatic Verification of Real-Time Systems Using Epsilon -
Varighed: 19 maj 2010 → …

Konference

KonferenceAutomatic Verification of Real-Time Systems Using Epsilon
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citer dette

Godskesen, J. C., Larsen, K. G., & Skou, A. (1994). Automatic Verification of Real-Time Systems Using Epsilon. I Voung, S.-T. : Chanson, S.-T. (Eds.) (red.), Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94 (s. 232-330). Chapman & Hall.
Godskesen, Jens Chr. ; Larsen, Kim Guldstrand ; Skou, Arne. / Automatic Verification of Real-Time Systems Using Epsilon. Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. red. / Voung, S.-T. : Chanson, S.-T. (Eds.). Chapman & Hall, 1994. s. 232-330
@inproceedings{2f378da08ac211dbbb3d000ea68e967b,
title = "Automatic Verification of Real-Time Systems Using Epsilon",
author = "Godskesen, {Jens Chr.} and Larsen, {Kim Guldstrand} and Arne Skou",
note = "ISSN ; -",
year = "1994",
language = "English",
pages = "232--330",
editor = "{Voung, S.-T. : Chanson, S.-T. (Eds.)}",
booktitle = "Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94",
publisher = "Chapman & Hall",

}

Godskesen, JC, Larsen, KG & Skou, A 1994, Automatic Verification of Real-Time Systems Using Epsilon. i Voung, S.-T. : Chanson, S.-T. (Eds.) (red.), Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Chapman & Hall, s. 232-330, Automatic Verification of Real-Time Systems Using Epsilon, 19/05/2010.

Automatic Verification of Real-Time Systems Using Epsilon. / Godskesen, Jens Chr.; Larsen, Kim Guldstrand; Skou, Arne.

Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. red. / Voung, S.-T. : Chanson, S.-T. (Eds.). Chapman & Hall, 1994. s. 232-330.

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

TY - GEN

T1 - Automatic Verification of Real-Time Systems Using Epsilon

AU - Godskesen, Jens Chr.

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

N1 - ISSN ; -

PY - 1994

Y1 - 1994

M3 - Article in proceeding

SP - 232

EP - 330

BT - Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94

A2 - Voung, S.-T. : Chanson, S.-T. (Eds.), null

PB - Chapman & Hall

ER -

Godskesen JC, Larsen KG, Skou A. Automatic Verification of Real-Time Systems Using Epsilon. I Voung, S.-T. : Chanson, S.-T. (Eds.), red., Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Chapman & Hall. 1994. s. 232-330