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

by Ahmed Bouajjani , Javier Esparza , Oded Maler
Citations:289 - 36 self