BibTeX Entry

Back to list

@article{rmc:tree:simulation:journal,
  author	= {Abdulla, Parosh Aziz and Legay, Axel and {d'Orso}, Julien and Rezine, Ahmed},
  title		= {Tree Regular Model Checking: {A} Simulation-based Approach.},
  journal	= {The Journal of Logic and Algebraic Programming},
  note		= {To appear},
  year		= {2006},
  URL		= {files/tree_rmc_j.ps}
}