Published in
Elsevier, Computers and Electrical Engineering, (97), p. 107482, 2022
DOI: 10.1016/j.compeleceng.2021.107482
Links
Tools
Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker
Journal article published in 2022 by
Anant Saraswat,
Kumar Abhishek 
,
Muhammad Rukunuddin Ghalib ,
Achyut Shankar ,
Mamoun Alazab,
Bernard Nongpoh
,
Muhammad Rukunuddin Ghalib ,
Achyut Shankar ,
Mamoun Alazab,
Bernard Nongpoh
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Postprint:
archiving forbidden
Published version:
archiving forbidden
Data provided by 