Bui, T. “Parallelizing Random-Walk Based Model Checking”. Science and Technology Development Journal, Vol. 18, no. 3, Aug. 2015, pp. 108-1, doi:https://doi.org/10.32508/stdj.v18i1.879.