Bui, T. (2015) “Parallelizing random-walk based model checking”, Science and Technology Development Journal, 18(3), pp. 108-118. doi: https://doi.org/10.32508/stdj.v18i1.879.