APA (7th ed.) Citation

Gao, X., Zhou, N., Wu, J., & Li, D. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Wiley.

Chicago Style (17th ed.) Citation

Gao, Xinyan, Ning Zhou, Jinzhao Wu, and Dakui Li. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Wiley.

MLA (9th ed.) Citation

Gao, Xinyan, et al. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Wiley.

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