Rajamanicham, Leelavathi, Qin FenPing, and Chen Jia. 2020. “SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0”. International Journal of Psychosocial Rehabilitation 24 (6): 18851-62. https://doi.org/10.61841/8jjk6r75.