T
[Tri06] Stavros Tripakis. Folk theorems on the determinization and minimization of timed automata. Information Processing Letters 99(6):222-226. Elsevier, septembre 2006. 
@article{ipl99(6)-Tri,
  author =              {Tripakis, Stavros},
  title =               {Folk theorems on the determinization and
                         minimization of timed automata},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {99},
  number =              {6},
  pages =               {222-226},
  year =                {2006},
  month =               sep,
  doi =                 {10.1016/j.ipl.2006.04.015},
}
Liste des auteurs