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

by Ahmed Bouajjani, Javier Esparza, Oded Maler
Venue:In CONCUR ’97: Proceedings of the 8th International Conference on Concurrency Theory