Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.