Blanc, N., & Kroening, D. (2010). Race analysis for systemC using model checking. Association for Computing Machinery.
Style de citation Chicago (17e éd.)Blanc, N., et D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
Style de citation MLA (9e éd.)Blanc, N., et D. Kroening. Race Analysis for SystemC Using Model Checking. Association for Computing Machinery, 2010.
Attention : ces citations peuvent ne pas être correctes à 100%.