"When Simulation Meets Antichains."

Parosh Aziz Abdulla et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics