APA (7. basım) Alıntı

Blanc, N., & Kroening, D. (2010). Race analysis for systemC using model checking. Association for Computing Machinery.

Chicago Style (17. basım) Atıf

Blanc, N., ve D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.

MLA (9th ed.) Atıf

Blanc, N., ve D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..