Bui T. Parallelizing random-walk based model checking. Science and Technology Development Journal [Internet]. 30Aug.2015 [cited 23Nov.2024];18(3):108-1. Available from: http://stdj.scienceandtechnology.com.vn/index.php/stdj/article/view/879