Abstract Regular Tree Model Checking of Complex Dynamic Data Structures (2006)

Cached

Download Links

by Ahmed Bouajjani , Peter Habermehl , Adam Rogalewicz , Tomas Vojnar
Venue:IN PROC. OF SAS’06, VOLUME 4134 OF LNCS
Citations:25 - 6 self