Reachability analysis of pushdown automata: application to model-checking (1997)

by A Bouajjani, J Esparza, O Maler
Venue:In Proc. of 8th International Conference on Concurrency Theory (CONCUR’97), volume 1243 of LNCS