Parosh Aziz Abdulla, yu-Fang Chen, Lukáš Holík, Richard Mayr, Tomáš Vojnar. When Simulation Meets Antichains.
TACAS'10, the 16th International Conference on Tools And Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus.
⟨inria-00460294⟩