WANG, Dong, LIU, Jing, SUN, Haiying, XU, Jin und KANG, Jiexiang, 2021. A Fully Parallel Approach of Model Checking Via Probe Machine. International Journal of Software Engineering & Knowledge Engineering. 1 November 2021. Vol. 31, no. 11/12, p. 1761-1781. DOI 10.1142/S0218194021400210.
Elsevier - Harvard (with titles)Wang, D., Liu, J., Sun, H., Xu, J., Kang, J., 2021. A Fully Parallel Approach of Model Checking Via Probe Machine. International Journal of Software Engineering & Knowledge Engineering 31, 1761-1781. https://doi.org/10.1142/S0218194021400210
American Psychological Association 7th editionWang, D., Liu, J., Sun, H., Xu, J., & Kang, J. (2021). A Fully Parallel Approach of Model Checking Via Probe Machine. International Journal of Software Engineering & Knowledge Engineering, 31(11/12), 1761-1781. https://doi.org/10.1142/S0218194021400210
Springer - Basic (author-date)Wang D, Liu J, Sun H, Xu J, Kang J (2021) A Fully Parallel Approach of Model Checking Via Probe Machine.. International Journal of Software Engineering & Knowledge Engineering 31:1761-1781. https://doi.org/10.1142/S0218194021400210
Juristische Zitierweise (Stüber) (Deutsch)Wang, Dong/ Liu, Jing/ Sun, Haiying/ Xu, Jin/ Kang, Jiexiang, A Fully Parallel Approach of Model Checking Via Probe Machine., International Journal of Software Engineering & Knowledge Engineering 2021, 1761-1781.