Science and Technology Development Journal

An official journal of Viet Nam National University Ho Chi Minh City, Viet Nam since 1997

Return to Article Details Parallelizing random-walk based model checking Download Download PDF