Reachability Analysis of Pushdown Automata: Application to Model-Checking.

Ahmed Bouajjani, Javier Esparza, Oded Maler

Browse the full CONCUR paper archive.