B
[Bou03] Patricia Bouyer. Untameable Timed Automata!. In STACS'03, Lecture Notes in Computer Science 2607, pages 620-631. Springer-Verlag, février 2003. 
@inproceedings{stacs2003-Bou,
  author =              {Bouyer, Patricia},
  title =               {Untameable Timed Automata!},
  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 =               {620-631},
  year =                {2003},
  month =               feb,
  doi =                 {10.1007/3-540-36494-3_54},
}
Liste des auteurs