B
[BST98] Sébastien Bornot, Joseph Sifakis et Stavros Tripakis. Modeling Urgency in Timed Systems. In COMPOS'97, Lecture Notes in Computer Science 1536, pages 103-129. Springer-Verlag, 1998. 
@inproceedings{compos1997-BST,
  author =              {Bornot, S{\'e}bastien and Sifakis, Joseph and
                         Tripakis, Stavros},
  title =               {Modeling Urgency in Timed Systems},
  editor =              {de Roever, Willem-Paul and Langmaack, Hans and
                         Pnueli, Amir},
  booktitle =           {{R}evised {L}ectures of the 1st {I}nternational
                         {S}ymposium on {C}ompositionality: {T}he
                         {S}ignificant {D}ifference ({COMPOS}'97)},
  acronym =             {{COMPOS}'97},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1536},
  pages =               {103-129},
  year =                {1998},
  confyear =            {1997},
  confmonth =           {9},
}
Liste des auteurs