1. Efficient algorithms for model checking pushdown systems;Esparza,2000
2. Efficient CTL model-checking for pushdown systems;Song,2011
3. Efficient CTL model-checking for pushdown systems;Song;Theor. Comput. Sci.,2014
4. Reachability analysis of pushdown automata: application to model-checking;Bouajjani,1997
5. A direct symbolic approach to model checking pushdown systems;Finkel;Electron. Notes Theor. Comput. Sci.,1997