Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.

Ahmed Bouajjani Peter Habermehl Pierre Moro Tomás Vojnar Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. 13-29 http://dx.doi.org/10.1007/978-3-540-31980-1_2 2005 conf/tacas/2005 TACAS db/conf/tacas/tacas2005.html#BouajjaniHMV05