Digital Hardware Design Formal Verification Based on HOL System

MLA

Sheng Li Liu, et al. “Digital Hardware Design Formal Verification Based on HOL System.” Applied Mechanics and Materials, Dec. 2014, pp. 1382–86. EBSCOhost, https://doi.org/10.4028/www.scientific.net/amm.716-717.1382.

APA

Sheng Li Liu, Dong Xia Wang, Yue Fei Zhu, Da Xiao, & You Qiang Luo. (2014). Digital Hardware Design Formal Verification Based on HOL System. Applied Mechanics and Materials, 1382–1386. https://doi.org/10.4028/www.scientific.net/amm.716-717.1382

Chicago

Sheng Li Liu, Dong Xia Wang, Yue Fei Zhu, Da Xiao, and You Qiang Luo. 2014. “Digital Hardware Design Formal Verification Based on HOL System.” Applied Mechanics and Materials, December, 1382–86. doi:10.4028/www.scientific.net/amm.716-717.1382.