@inproceedings{BBM-formats10,
  title = "Computing Equilibria in Two-Player Timed Games {\textit{via}}~Turn-Based Finite Games",
  author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas",
  year = "2010",
  address = "Vienna, Austria",
  booktitle = "{P}roceedings of the 8th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'10)",
  month = "sep",
  pages = "62-76",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBM-formats10.pdf",
  volume = "6246",
  doi = "10.1007/978-3-642-15297-9_7",
}