B
[BBB+07] Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye et Marcus Größer. Probabilistic and Topological Semantics for Timed Automata. In FSTTCS'07, Lecture Notes in Computer Science 4855, pages 179-191. Springer-Verlag, décembre 2007. 
@inproceedings{fsttcs2007-BBBBG,
  author =              {Baier, {\relax Ch}ristel and Bertrand, Nathalie and
                         Bouyer, Patricia and Brihaye, {\relax Th}omas and
                         Gr{\"o}{\ss}er, Marcus},
  title =               {Probabilistic and Topological Semantics for Timed
                         Automata},
  editor =              {Arvind, Vikraman and Prasad, Sanjiva},
  booktitle =           {{P}roceedings of the 27th {C}onference on
                         {F}oundations of {S}oftware {T}echnology and
                         {T}heoretical {C}omputer {S}cience ({FSTTCS}'07)},
  acronym =             {{FSTTCS}'07},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {4855},
  pages =               {179-191},
  year =                {2007},
  month =               dec,
}
Liste des auteurs