Abstract regular tree model checking of complex dynamic data structures (2006)

by A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar
Venue:In Proc. of SAS, volume 4134 of LNCS