@article{doi://10.1007/978-3-319-25150-9_34,
  title = "A Tool for the Automated Verification of Nash Equilibria in Concurrent Games",
  author = "Alexis Toumi and Julian Gutierrez and Michael Wooldridge",
  year = "2015",
  address = "Cali, Colombia",
  edition = "October 29-31, 2015, Proceedings",
  editor = "Martin Leucker and Camilo Rueda and Frank D. Valencia",
  journal = "Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium",
  pages = "583–594",
  publisher = "Lecture Notes in Computer Science. Springer 2015",
  url = "http://www.cs.ox.ac.uk/people/julian.gutierrez/web/ictac15-b.pdf",
  volume = "9399",
  doi = "10.1007/978-3-319-25150-9_34",
}