Revisiting Underapproximate Reachability for Multipushdown Systems.

S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury

Browse the full TACAS paper archive.