Bui, Thang. 2015. “Parallelizing Random-Walk Based Model Checking”. Science and Technology Development Journal 18 (3), 108-18. https://doi.org/https://doi.org/10.32508/stdj.v18i1.879.