B
[BR03] Véronique Bruyère and Jean-François Raskin. Real-Time Model-Checking: Parameters Everywhere. In FSTTCS'03, Lecture Notes in Computer Science 2914, pages 100-111. Springer-Verlag, December 2003. 
@inproceedings{fsttcs2003-BR,
  author =              {Bruy{\`e}re, V{\'e}ronique and Raskin, Jean-Fran{\c
                         c}ois},
  title =               {Real-Time Model-Checking: {P}arameters Everywhere},
  editor =              {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
  booktitle =           {{P}roceedings of the 23rd {C}onference on
                         {F}oundations of {S}oftware {T}echnology and
                         {T}heoretical {C}omputer {S}cience ({FSTTCS}'03)},
  acronym =             {{FSTTCS}'03},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2914},
  pages =               {100-111},
  year =                {2003},
  month =               dec,
}
List of authors