K
[KLL+97] Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. A Compositional Proof of a Real-Time Mutual Exclusion Protocol. In TAPSOFT'97, Lecture Notes in Computer Science 1214, pages 565-579. Springer-Verlag, April 1997. 
@inproceedings{tapsoft1997-KLLPY,
  author =              {Kristoffersen, K{\aa}re J. and Laroussinie, Fran{\c
                         c}ois and Larsen, Kim Guldstrand and Pettersson,
                         Paul and Yi, Wang},
  title =               {A Compositional Proof of a Real-Time Mutual
                         Exclusion Protocol},
  editor =              {Bidoit, Michel and Dauchet, Max},
  booktitle =           {{P}roceedings of the 7th {I}nternational {J}oint
                         {C}onference {CAAP}{\slash}{FASE} on {T}heory and
                         {P}ractice of {S}oftware {D}evelopment
                         ({TAPSOFT}'97)},
  acronym =             {{TAPSOFT}'97},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1214},
  pages =               {565-579},
  year =                {1997},
  month =               apr,
}
List of authors