Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Warning: These citations may not always be 100% accurate.