B
[BBB+14] Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer et Marcin Jurdziński. Stochastic Timed Automata. Logical Methods in Computer Science 10(4). Décembre 2014. 
@article{lmcs10(4)-BBBMBGJ,
  author =              {Bertrand, Nathalie and Bouyer, Patricia and Brihaye,
                         {\relax Th}omas and Menet, Quentin and Baier,
                         {\relax Ch}ristel and Gr{\"o}{\ss}er, Marcus and
                         Jurdzi{\'n}ski, Marcin},
  title =               {Stochastic Timed Automata},
  journal =             {Logical Methods in Computer Science},
  volume =              {10},
  number =              {4},
  year =                {2014},
  month =               dec,
  doi =                 {10.2168/LMCS-10(4:6)2014},
}
Liste des auteurs