APA (7th ed.) Citation

Zhou, N., Gao, X., Wu, J., Wei, J., & Li, D. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Wiley.

Chicago Style (17th ed.) Citation

Zhou, Ning, Xinyan Gao, Jinzhao Wu, Jianchao Wei, and Dakui Li. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Wiley.

MLA (9th ed.) Citation

Zhou, Ning, et al. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Wiley.