B
[BBB+08] Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, and Marcus Größer. Almost-sure Model Checking of Infinite Paths in One-clock Timed Automata. In LICS'08, pages 217-226. IEEE Comp. Soc. Press, June 2008. 
@inproceedings{lics2008-BBBBG,
  author =              {Baier, {\relax Ch}ristel and Bertrand, Nathalie and
                         Bouyer, Patricia and Brihaye, {\relax Th}omas and
                         Gr{\"o}{\ss}er, Marcus},
  title =               {Almost-sure Model Checking of Infinite Paths in
                         One-clock Timed Automata},
  booktitle =           {{P}roceedings of the 23rd {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'08)},
  acronym =             {{LICS}'08},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {217-226},
  year =                {2008},
  month =               jun,
  doi =                 {10.1109/LICS.2008.25},
}
List of authors