B
[BBL+06] Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen et Radek Pelánek. Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer 8(3):204-215. Springer-Verlag, juin 2006. 
@article{sttt8(3)-BBLP,
  author =              {Behrmann, Gerd and Bouyer, Patricia and Larsen, Kim
                         Guldstrand and Pel{\'a}nek, Radek},
  title =               {Lower and Upper Bounds in Zone-Based Abstractions of
                         Timed Automata},
  publisher =           {Springer-Verlag},
  journal =             {International Journal on Software Tools for
                         Technology Transfer},
  volume =              {8},
  number =              {3},
  pages =               {204-215},
  year =                {2006},
  month =               jun,
  doi =                 {10.1007/s10009-005-0190-0},
}
Liste des auteurs