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

by A Finkel, B Willems, P Wolper
Venue:ENTCS