Hing Ratana, Sharifah Mashita Syed-Mohamad and Chan Huah Yong 2024. Software Model Checking Distributed Applications: A Hybrid Approach. Journal of Advanced Research in Applied Sciences and Engineering Technology. 45, 2 (Apr. 2024), 152–167. DOI:https://doi.org/10.37934/araset.45.2.152167.