@inproceedings{BBM10a,
  title = "{N}ash Equilibria for Reachability Objectives in Multi-player Timed Games",
  author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas",
  year = "2010",
  booktitle = "{P}roceedings of the 21st {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'10)",
  month = "sep",
  pages = "192-206",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6269",
}