Reference:

Philipp Hoffmann and Michael Luttenberger. Solving parity games on the GPU. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pages 455–459, 2013.

Suggested BibTeX entry:

@inproceedings{DBLP:confatvaHoffmannL13,
    author = {Philipp Hoffmann and Michael Luttenberger},
    booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
    pages = {455--459},
    title = {Solving Parity Games on the {GPU}},
    year = {2013}
}