B
[BBM06] Ramzi Ben Salah, Marius Bozga et Oded Maler. On Interleaving in Timed Automata. In CONCUR'06, Lecture Notes in Computer Science 4137, pages 465-476. Springer-Verlag, août 2006. 
@inproceedings{concur2006-BBM,
  author =              {Ben{~}Salah, Ramzi and Bozga, Marius and Maler,
                         Oded},
  title =               {On Interleaving in Timed Automata},
  editor =              {Baier, {\relax Ch}ristel and Hermanns, Holger},
  booktitle =           {{P}roceedings of the 17th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'06)},
  acronym =             {{CONCUR}'06},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {4137},
  pages =               {465-476},
  year =                {2006},
  month =               aug,
}
Liste des auteurs