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