@article{HIV10,
title = {Automata-based verification of programs with tree updates },
author = {Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}s},
year = {2010},
journal = {Acta Inf.},
number = {1},
pages = {1-31},
volume = {47},
team = {DCS,PACSS},
}