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

by Ahmed Bouajjani , Javier Esparza , Oded Maler
Citations:385 - 39 self