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