BibTeX record journals/fmsd/BenerecettiDM18

download as .bib file

@article{DBLP:journals/fmsd/BenerecettiDM18,
  author       = {Massimo Benerecetti and
                  Daniele Dell'Erba and
                  Fabio Mogavero},
  title        = {Solving parity games via priority promotion},
  journal      = {Formal Methods Syst. Des.},
  volume       = {52},
  number       = {2},
  pages        = {193--226},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0315-1},
  doi          = {10.1007/S10703-018-0315-1},
  timestamp    = {Mon, 15 Jun 2020 16:53:28 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BenerecettiDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics