BibTex format
@techreport{Huth:2015:10.25561/94990,
author = {Huth, M and Kuo, JH-P},
booktitle = {Departmental Technical Report: 15/4},
doi = {10.25561/94990},
publisher = {Department of Computing, Imperial College London},
title = {Static analysis of parity games: alternating reachability under parity},
url = {http://dx.doi.org/10.25561/94990},
year = {2015}
}