Shirinzadeh, F., Datta, K., Shirinzadeh, S., Kole, A., & Drechsler, R. (2024). Towards Formal Verification for MAC-based In-Memory Computing. 2024 IEEE 33rd Asian Test Symposium (ATS), Asian Test Symposium (ATS), 2024 IEEE 33rd, 1. https://doi.org/10.1109/ATS64447.2024.10915429
Παραπομπή σε μορφή Chicago (17η εκδ.)Shirinzadeh, Fatemeh, Kamalika Datta, Saeideh Shirinzadeh, Abhoy Kole, και Rolf Drechsler. "Towards Formal Verification for MAC-based In-Memory Computing." 2024 IEEE 33rd Asian Test Symposium (ATS), Asian Test Symposium (ATS), 2024 IEEE 33rd 2024: 1. https://doi.org/10.1109/ATS64447.2024.10915429.
Παραπομπή σε μορφή MLA (9th εκδ.)Shirinzadeh, Fatemeh, et al. "Towards Formal Verification for MAC-based In-Memory Computing." 2024 IEEE 33rd Asian Test Symposium (ATS), Asian Test Symposium (ATS), 2024 IEEE 33rd, 2024, p. 1, https://doi.org/10.1109/ATS64447.2024.10915429.