BibTeX Entry

Back to list

@article{Parosh:etal:bisim:tree,
  author	= {Abdulla, Parosh Aziz and Kaati, Lisa and H{\"o}gberg, Johanna},
  title		= {Bisimulation Minimization of Tree automata},
  journal	= {Proc. CIAA'06-11th International Conference on Implementation and Application of Automata},
  year		= {2006},
  URL		= {files/tree_bisim.ps}
}