Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.