DOI,IST REx ID,Title of publication
10.1016/j.tcs.2007.07.008,4626,Concurrent reachability games