BibTeX Entry

Back to list

@inproceedings{rmc:tree:simulation,
  author	= {Abdulla, Parosh Aziz and Legay, Axel and {d'Orso}, Julien and Rezine, Ahmed},
  title		= {Simulation-Based Iteration of Tree Transducers},
  booktitle	= {Proc. TACAS '05-11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems},
  series	= {Lecture Notes in Computer Science},
  volume	= {3440},
  year		= {2005},
  URL		= {files/tacas05.ps}
}