BibTeX record journals/games/AvniGK18

download as .bib file

@article{DBLP:journals/games/AvniGK18,
  author       = {Guy Avni and
                  Shibashis Guha and
                  Orna Kupferman},
  title        = {An Abstraction-Refinement Methodologyfor Reasoning about Network Games\({}^{\mbox{{\textdagger}}}\)},
  journal      = {Games},
  volume       = {9},
  number       = {3},
  pages        = {39},
  year         = {2018},
  url          = {https://doi.org/10.3390/g9030039},
  doi          = {10.3390/G9030039},
  timestamp    = {Thu, 11 Oct 2018 14:00:43 +0200},
  biburl       = {https://dblp.org/rec/journals/games/AvniGK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}