When Simulation Meets Antichains.

Parosh Aziz Abdulla, Yu-Fang Chen, Luks Holk, Richard Mayr, Toms Vojnar

Browse the full TACAS paper archive.