Revisiting Underapproximate Reachability for Multipushdown Systems

per Akshay, S., Gastin, Paul, Krishna, S, Roychowdhury, Sparsa
Publicat a Tools and Algorithms for the Construction and Analysis of Systems (2020)