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