Blanc, N., & Kroening, D. (2010). Race analysis for systemC using model checking. Association for Computing Machinery.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումBlanc, N., and D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
MLA (9րդ խմբ.) ՄեջբերումBlanc, N., and D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.