![]() |
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} }