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]
@inproceedings{ShuSYJL17,
title = {A New Parallel Approach for Reachability Analysis of Pushdown Models},
author = {Lingjie Shu and Jianqi Shi and Xin Ye and Ningkang Jiang and Yichun Li},
year = {2017},
doi = {10.1145/3034950.3034984},
url = {https://doi.org/10.1145/3034950.3034984},
researchr = {https://researchr.org/publication/ShuSYJL17},
cites = {0},
citedby = {0},
pages = {113-118},
booktitle = {Proceedings of the 2017 International Conference on Management Engineering, Software Engineering and Service Sciences, ICMSS '17, Wuhan, China, January 14-16, 2017},
editor = {Yulin Wang},
publisher = {ACM},
isbn = {978-1-4503-4834-8},
}