K
[KO05] Ahmed Khoumsi and Lucien Ouedraogo. A New Method for Transforming Timed Automata. In SBMF'04, Electronic Notes in Theoretical Computer Science 130. Elsevier, 2005. 
@inproceedings{sbmf2004-KO,
  author =              {Khoumsi, Ahmed and Ouedraogo, Lucien},
  title =               {A New Method for Transforming Timed Automata},
  editor =              {Mota, Alexandre and Moura, Arnaldo V.},
  booktitle =           {{P}roceedings of the 7th {B}razilian {S}ymposium on
                         {F}ormal {M}ethods ({SBMF}'04)},
  acronym =             {{SBMF}'04},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {130},
  year =                {2005},
  confyear =            {2004},
  confmonth =           {11},
}
List of authors