APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.