Bridging the Gap between Fair Simulation and Trace Inclusion.

Yonit Kesten, Nir Piterman, Amir Pnueli

Browse the full CAV paper archive.