@incollection{Meyer_2016,
    doi = {10.1007/978-3-319-46520-3_17},
    url = {https://doi.org/10.1007%2F978-3-319-46520-3_17},
    year = {2016},
    publisher = {Springer International Publishing},
    pages = {262--267},
    author = {Philipp J. Meyer and Michael Luttenberger},
    title = {Solving Mean-Payoff Games on the {GPU}},
    booktitle = {Automated Technology for Verification and Analysis}
}

@incollection{Meyer_2016, doi = {10.1007/978-3-319-46520-3_17}, url = {https://doi.org/10.1007%2F978-3-319-46520-3_17}, year = {2016}, publisher = {Springer International Publishing}, pages = {262--267}, author = {Philipp J. Meyer and Michael Luttenberger}, title = {Solving Mean-Payoff Games on the {GPU}}, booktitle = {Automated Technology for Verification and Analysis} }