A direct symbolic approach to model checking pushdown systems (1997)

by A Finkel, B Willems, P Wolper
Venue:Electr. Notes Theor. Comput. Sci