Boutekkouk F. Formal Specification and Verification of Communication in Network-On-Chip: An Overview. Int. J. Recent Contrib. Eng. Sci. IT [Internet]. 2018 Dec. 19 [cited 2024 Apr. 27];6(4):pp. 15-31. Available from: https://online-journals.org/index.php/i-jes/article/view/9416