Roscoe, P., & Pragyesh. (2009). Local search in model checking.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումRoscoe, P., and Pragyesh. Local Search in Model Checking. 2009.
MLA (9րդ խմբ.) ՄեջբերումRoscoe, P., and Pragyesh. Local Search in Model Checking. 2009.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.