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

Citationsformater