Lingjie Shu, Jianqi Shi, Xin Ye, Ningkang Jiang, Yichun Li. A New Parallel Approach for Reachability Analysis of Pushdown Models. In Yulin Wang, editor, Proceedings of the 2017 International Conference on Management Engineering, Software Engineering and Service Sciences, ICMSS '17, Wuhan, China, January 14-16, 2017. pages 113-118, ACM, 2017. [doi]