A New Parallel Approach for Reachability Analysis of Pushdown Models. - Lingjie Shu; Jianqi Shi; Xin Ye; Ningkang Jiang; Yichun Li (ICMSS, 2017)