Blanc, N., & Kroening, D. (2010). Race analysis for systemC using model checking. Association for Computing Machinery.
Lua i Stíl Chicago (17ú heag.)Blanc, N., agus D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
Lua MLA (9ú heag.)Blanc, N., agus D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.