S.K.: Fair simulation (2002)

by T A Henzinger, O Kupferman, Rajamani
Venue:Inf. Comput