De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. In: 10.1109/SFCS.1998.743507Â  __Proceedings 39th Annual Symposium on Foundations of Computer Science. IEEE; 1998:564-575. doi:10.1109/SFCS.1998.743507Â  
LibreCat: https://research-explorer.ista.ac.at/record/4639
DOI: 10.1109/SFCS.1998.743507