Li, Y., Ci, Y., & Yang, Q. (2024). TIUP: Effective Processor Verification with Tautology-Induced Universal Properties.
Chicago-Zitierstil (17. Ausg.)Li, Yufeng, Yiwei Ci, und Qiusong Yang. TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. 2024.
MLA-Zitierstil (9. Ausg.)Li, Yufeng, et al. TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.