Revisiting Underapproximate Reachability for Multipushdown Systems

Bằng Akshay, S., Gastin, Paul, Krishna, S, Roychowdhury, Sparsa
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)