APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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

Let op: Deze citaties zijn niet altijd 100% accuraat.