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.
एमएलए (9वां संस्करण) प्रशस्ति पत्रBlanc, N., और D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.