Blanc, N., & Kroening, D. (2010). Race analysis for systemC using model checking. Association for Computing Machinery.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Blanc, N., و D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Blanc, N., و D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.