A Compositional Proof of a Real-Time Mutual Exclusion Protocol

K. J. Kristoffersen, F. Laroussinie, Kim Guldstrand Larsen, P. Pettersson, W. Yi

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

16 Citationer (Scopus)
OriginalsprogEngelsk
TitelTAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : Lecture Notes in Computer Science
RedaktørerBidoit, Michel : Dauchet, Max (eds.)
ForlagIEEE Computer Society Press
Publikationsdato1997
Udgave1214
ISBN (Trykt)3540627812
StatusUdgivet - 1997
BegivenhedA Compositional Proof of a Real-Time Mutual Exclusion Protocol -
Varighed: 19 maj 2010 → …

Konference

KonferenceA Compositional Proof of a Real-Time Mutual Exclusion Protocol
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-8743

Citer dette

Kristoffersen, K. J., Laroussinie, F., Larsen, K. G., Pettersson, P., & Yi, W. (1997). A Compositional Proof of a Real-Time Mutual Exclusion Protocol. I Bidoit, Michel : Dauchet, Max (eds.) (red.), TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science (1214 udg.). IEEE Computer Society Press.
Kristoffersen, K. J. ; Laroussinie, F. ; Larsen, Kim Guldstrand ; Pettersson, P. ; Yi, W. / A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. red. / Bidoit, Michel : Dauchet, Max (eds.). 1214. udg. IEEE Computer Society Press, 1997.
@inproceedings{1087b7409c2e11db8ed6000ea68e967b,
title = "A Compositional Proof of a Real-Time Mutual Exclusion Protocol",
author = "Kristoffersen, {K. J.} and F. Laroussinie and Larsen, {Kim Guldstrand} and P. Pettersson and W. Yi",
note = "ISSN ; 0302-8743",
year = "1997",
language = "English",
isbn = "3540627812",
editor = "{Bidoit, Michel : Dauchet, Max (eds.)}",
booktitle = "TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1214",

}

Kristoffersen, KJ, Laroussinie, F, Larsen, KG, Pettersson, P & Yi, W 1997, A Compositional Proof of a Real-Time Mutual Exclusion Protocol. i Bidoit, Michel : Dauchet, Max (eds.) (red.), TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. 1214 udg, IEEE Computer Society Press, A Compositional Proof of a Real-Time Mutual Exclusion Protocol, 19/05/2010.

A Compositional Proof of a Real-Time Mutual Exclusion Protocol. / Kristoffersen, K. J.; Laroussinie, F.; Larsen, Kim Guldstrand; Pettersson, P.; Yi, W.

TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. red. / Bidoit, Michel : Dauchet, Max (eds.). 1214. udg. IEEE Computer Society Press, 1997.

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

TY - GEN

T1 - A Compositional Proof of a Real-Time Mutual Exclusion Protocol

AU - Kristoffersen, K. J.

AU - Laroussinie, F.

AU - Larsen, Kim Guldstrand

AU - Pettersson, P.

AU - Yi, W.

N1 - ISSN ; 0302-8743

PY - 1997

Y1 - 1997

M3 - Article in proceeding

SN - 3540627812

BT - TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997

A2 - Bidoit, Michel : Dauchet, Max (eds.), null

PB - IEEE Computer Society Press

ER -

Kristoffersen KJ, Laroussinie F, Larsen KG, Pettersson P, Yi W. A Compositional Proof of a Real-Time Mutual Exclusion Protocol. I Bidoit, Michel : Dauchet, Max (eds.), red., TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. 1214 udg. IEEE Computer Society Press. 1997