Efficient algorithms for model checking pushdown systems. (2000)

by J Esparza, D Hansel, P Rossmanith, S Schwoon
Venue:In CAV,