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