Rajamanicham, Leelavathi, Qin Fen Ping, and Chen Jia. 2020. “Symbolic Model Checking for Converse Propositional Dynamic Logic Based Industry 4.0”. International Journal of Psychosocial Rehabilitation 24 (6): 18851-62. https://doi.org/10.61841/8hgfjm75.