APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.