WASET
Hou, G. , Yu, L. , Zhuang, W. , Qin, H. , Yang, X.. "Formal Verification of Cache System Using a Novel Cache Memory Model". World Academy of Science, Engineering and Technology, Open Science Index 99, International Journal of Electronics and Communication Engineering, (2015), 9(3), 721 - 724.