@inproceedings{BBMU11,
  title = "{N}ash Equilibria in Concurrent Games with {B}{\"u}chi Objectives",
  author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas and Ummels, Michael",
  year = "2011",
  address = "Mumbai, India",
  booktitle = "{P}roceedings of the 31st {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'11)",
  month = "dec",
  pages = "375-386",
  publisher = "Leibniz-Zentrum f{\"u}r Informatik",
  series = "Leibniz International Proceedings in Informatics",
  volume = "13",
}