Fair Simulation (1997)

by Thomas A. Henzinger , Orna Kupferman , Sriram K. Rajamani
Venue:Information and Computation
Citations:48 - 18 self