B
[BF09] Patricia Bouyer and Vojtěch Forejt. Reachability in Stochastic Timed Games. In ICALP'09, Lecture Notes in Computer Science 5556, pages 103-114. Springer-Verlag, July 2009. 
@inproceedings{icalp2009-BF,
  author =              {Bouyer, Patricia and Forejt, Vojt{\v{e}}ch},
  title =               {Reachability in Stochastic Timed Games},
  editor =              {Albers, Susanne and Marchetti{-}Spaccamela Alberto
                         and Matias, Yossi and Nikoletseas, Sotiris and
                         Thomas, Wolfgang},
  booktitle =           {{P}roceedings of the 36th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'09)~-- Part~{II}},
  acronym =             {{ICALP}'09},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {5556},
  pages =               {103-114},
  year =                {2009},
  month =               jul,
}
List of authors