Dong Wang, Jing Liu 0012, Haiying Sun, Jin Xu, Jiexiang Kang. A Fully Parallel Approach of Model Checking Via Probe Machine. International Journal of Software Engineering and Knowledge Engineering, 31(11&12):1761-1781, 2021. [doi]
@article{WangLSXK21,
title = {A Fully Parallel Approach of Model Checking Via Probe Machine},
author = {Dong Wang and Jing Liu 0012 and Haiying Sun and Jin Xu and Jiexiang Kang},
year = {2021},
doi = {10.1142/S0218194021400210},
url = {https://doi.org/10.1142/S0218194021400210},
researchr = {https://researchr.org/publication/WangLSXK21},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {31},
number = {11&12},
pages = {1761-1781},
}