Blanc, N., & Kroening, D. (2010). Race analysis for systemC using model checking. Association for Computing Machinery.
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতিBlanc, N., এবং D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
M.L.A (9 ম সংস্করণ) উদ্ধৃতিBlanc, N., এবং D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.