B
[BDR03] Véronique Bruyère, Emmanuel Dall'Olio, and Jean-François Raskin. Durations, Parametric Model Checking in Timed Automata with Presburger Arithmetic. In STACS'03, Lecture Notes in Computer Science 2607, pages 687-698. Springer-Verlag, February 2003. 
@inproceedings{stacs2003-BDR,
  author =              {Bruy{\`e}re, V{\'e}ronique and Dall'Olio, Emmanuel
                         and Raskin, Jean-Fran{\c c}ois},
  title =               {Durations, Parametric Model Checking in Timed
                         Automata with {P}resburger Arithmetic},
  editor =              {Alt, Helmut and Habib, Michel},
  booktitle =           {{P}roceedings of the 20th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'03)},
  acronym =             {{STACS}'03},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2607},
  pages =               {687-698},
  year =                {2003},
  month =               feb,
}
List of authors