Anant Saraswat, Kumar Abhishek 0004, Muhammad Rukunuddin Ghalib, Achyut Shankar, Mamoun Alazab, Bernard Nongpoh. Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker. Computers & Electrical Engineering, 97:107482, 2022. [doi]
@article{SaraswatAGSAN22,
title = {Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker},
author = {Anant Saraswat and Kumar Abhishek 0004 and Muhammad Rukunuddin Ghalib and Achyut Shankar and Mamoun Alazab and Bernard Nongpoh},
year = {2022},
doi = {10.1016/j.compeleceng.2021.107482},
url = {https://doi.org/10.1016/j.compeleceng.2021.107482},
researchr = {https://researchr.org/publication/SaraswatAGSAN22},
cites = {0},
citedby = {0},
journal = {Computers & Electrical Engineering},
volume = {97},
pages = {107482},
}