A Compositional Proof of a Real-Time Mutual Exclusion Protocol

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

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 proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	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
Redaktører	Bidoit, Michel : Dauchet, Max (eds.)
Forlag	IEEE Computer Society Press
Publikationsdato	1997
Udgave	1214
ISBN (Trykt)	3540627812
Status	Udgivet - 1997
Begivenhed	A Compositional Proof of a Real-Time Mutual Exclusion Protocol - Varighed: 19 maj 2010 → …

Konference

Konference	A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Periode	19/05/2010 → …

Bibliografisk note

ISSN ; 0302-8743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

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 et al. / 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; A Compositional Proof of a Real-Time Mutual Exclusion Protocol ; Conference date: 19-05-2010",

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 et al.
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 proceeding › Konferenceartikel i proceeding › Forskning

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

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

Y2 - 19 May 2010

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