H
[HIM12] Thomas Dueholm Hansen, Rasmus Ibsen-Jensen et Peter Bro Miltersen. A Faster Algorithm for Solving One-Clock Priced Timed Games. Research Report 1201.3498, arXiv, janvier 2012. 
@techreport{arxiv12-HIM,
  author =              {Hansen, Thomas Dueholm and Ibsen{-}Jensen, Rasmus
                         and Miltersen, Peter Bro},
  title =               {A~Faster Algorithm for Solving One-Clock Priced
                         Timed Games},
  number =              {1201.3498},
  year =                {2012},
  month =               jan,
  institution =         {arXiv},
  type =                {Research Report},
}
Liste des auteurs