HING RATANA; SHARIFAH MASHITA SYED-MOHAMAD; CHAN HUAH YONG. Software Model Checking Distributed Applications: A Hybrid Approach. Journal of Advanced Research in Applied Sciences and Engineering Technology, [S. l.], v. 45, n. 2, p. 152–167, 2024. DOI: 10.37934/araset.45.2.152167. Disponível em: https://semarakilmu.com.my/journals/index.php/applied_sciences_eng_tech/article/view/2867. Acesso em: 5 nov. 2024.