Computing Simulations over Tree Automata.

Parosh Aziz Abdulla, Ahmed Bouajjani, Luks Holk, Lisa Kaati, Toms Vojnar

Browse the full TACAS paper archive.