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):152-67. https://doi.org/10.37934/araset.45.2.152167.