B
[BGP96] Béatrice Bérard, Paul Gastin et Antoine Petit. Timed Automata with non Observable Actions: Expressive power and refinement. In STACS'96, Lecture Notes in Computer Science 1046, pages 257-268. Springer-Verlag, février 1996. 
@inproceedings{stacs1996-BGP,
  author =              {B{\'e}rard, B{\'e}atrice and Gastin, Paul and Petit,
                         Antoine},
  title =               {Timed Automata with non Observable Actions:
                         Expressive power and refinement},
  editor =              {Puech, Claude and Reischuk, R{\"u}diger},
  booktitle =           {{P}roceedings of the 13th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'96)},
  acronym =             {{STACS}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1046},
  pages =               {257-268},
  year =                {1996},
  month =               feb,
}
Liste des auteurs