logo
BibTeX Entry


@inproceedings{ABMO:tree,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Mahata, Pritha and {d'Orso}, Julien},
  title		= {Regular Tree Model Checking},
  booktitle	= {Proc. CAV '02-14th Int. Conf. on Computer Aided Verification},
  series	= {Lecture Notes in Computer Science},
  volume	= {2404},
  year		= {2002},
  URL		= {files/trees.ps}
}