Hing Ratana, Sharifah Mashita Syed-Mohamad, Chan Huah Yong. Software Model Checking Distributed Applications: A Hybrid Approach. J. Adv. Res. Appl. Sci. Eng. Tech. [Internet]. 2024 Apr. 14 [cited 2024 Nov. 22];45(2):152-67. Available from: https://semarakilmu.com.my/journals/index.php/applied_sciences_eng_tech/article/view/2867