Cite
MLA Citation
Lixiang Shen et al.. “Symbolic execution based test-patterns generation algorithm for hardware Trojan detection.” Computers & security, no. 78, 2018, pp. 267–280. http://access.bl.uk/ark:/81055/vdc_100068921941.0x00004a
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Lixiang Shen et al.. “Symbolic execution based test-patterns generation algorithm for hardware Trojan detection.” Computers & security, no. 78, 2018, pp. 267–280. http://access.bl.uk/ark:/81055/vdc_100068921941.0x00004a