Reachability analysis of push-down automata (1996)

by A Bouajjani, O Maler
Venue:In Workshop on Infinite-state Systems