@inproceedings{B13,
  title = "{PRALINE}: A~Tool for Computing {N}ash Equilibria in Concurrent Games",
  author = "Brenguier, Romain",
  year = "2013",
  address = "Saint Petersburg, Russia",
  booktitle = "{P}roceedings of the 23th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV}'13)",
  editor = "Sharygina, Natasha and Veith, Helmut",
  month = "jul",
  pages = "890-895",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/RB-cav13.pdf",
  volume = "8044",
  doi = "10.1007/978-3-642-39799-8_63",
}