![](/img/cover-not-exists.png)
COMPOSED BISIMULATION FOR TREE AUTOMATA
ABDULLA, PAROSH AZIZ, BOUAJJANI, AHMED, HOLÍK, LUKÁŠ, KAATI, LISA, VOJNAR, TOMÁŠVolume:
20
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054109006814
Date:
August, 2009
File:
PDF, 219 KB
english, 2009