Reachability Analysis of Pushdown Automata: Application to Model Checking. (1997)

by A Bouajjani, J Esparza, O Maler
Venue:Proc. CONCUR ’97, LNCS 1243,