Henzinger TA, Kupferman O, Rajamani S. Fair simulation. In: Proceedings of the 8th International Conference on Concurrency Theory. Vol 1243. Springer; 1997:273-287. doi:10.1007/3-540-63141-0_19
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19