Bridging the Gap Between Fair Simulation and Trace Inclusion

Information and Computation - United States
doi 10.1016/j.ic.2005.01.006