B
[BHR09] Patricia Bouyer, Serge Haddad et Pierre-Alain Reynier. Undecidability Results for Timed Automata with Silent Transitions. Fundamenta Informaticae 92(1-2):1-25. IOS Press, 2009. 
@article{fundi92(1-2)-BHR,
  author =              {Bouyer, Patricia and Haddad, Serge and Reynier,
                         Pierre-Alain},
  title =               {Undecidability Results for Timed Automata with
                         Silent Transitions},
  publisher =           {IOS Press},
  journal =             {Fundamenta Informaticae},
  volume =              {92},
  number =              {1-2},
  pages =               {1-25},
  year =                {2009},
}
Liste des auteurs