Publications:
Jyotirmoy Deshmukh,
E. Allen Emerson and Prateek
Gupta,
Automatic verification of parameterized data structures,
In Proceedings of the 12th International Conference on Tools and
Algorithms
for Construction and Analysis of Systems, 2006 (TACAS '06), Vienna,
Austria,
pp.27-41.
pdf ps
Slides