A New Parallel Approach for Reachability Analysis of Pushdown Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Lingjie Shu' in GoogleThis author has not been identified. Look up 'Jianqi Shi' in GoogleThis author has not been identified. Look up 'Xin Ye' in GoogleThis author has not been identified. Look up 'Ningkang Jiang' in GoogleThis author has not been identified. Look up 'Yichun Li' in Google

runs on WebDSL