Bui, Thang. “Parallelizing Random-Walk Based Model Checking”. Science and Technology Development Journal 18, no. 3 (August 30, 2015): 108-118. Accessed November 23, 2024. http://stdj.scienceandtechnology.com.vn/index.php/stdj/article/view/879.