Fair Simulation (1997)

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