Tan, Q., Gaonkar, A., Fan, Y., Gupta, A., & Malik, S. (2026). SecIC3: Customizing IC3 for Hardware Security Verification.
Chicago-Zitierstil (17. Ausg.)Tan, Qinhan, Akash Gaonkar, Yu-Wei Fan, Aarti Gupta, und Sharad Malik. SecIC3: Customizing IC3 for Hardware Security Verification. 2026.
MLA-Zitierstil (9. Ausg.)Tan, Qinhan, et al. SecIC3: Customizing IC3 for Hardware Security Verification. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.