B
[BDG+98] Béatrice Bérard, Volker Diekert, Paul Gastin et Antoine Petit. Characterization of the Expressive Power of Silent Transitions in Timed Automata. Fundamenta Informaticae 36(2-3):145-182. IOS Press, novembre 1998.
@article{fundi36(2-3)-BDGP,
  author =              {B{\'e}rard, B{\'e}atrice and Diekert, Volker and
                         Gastin, Paul and Petit, Antoine},
  title =               {Characterization of the Expressive Power of Silent
                         Transitions in Timed Automata},
  publisher =           {IOS Press},
  journal =             {Fundamenta Informaticae},
  volume =              {36},
  number =              {2-3},
  pages =               {145-182},
  year =                {1998},
  month =               nov,
}
Liste des auteurs