Rajamanicham, L., Fen Ping, Q. and Jia, C. (2020) “Symbolic Model Checking for Converse Propositional Dynamic Logic based Industry 4.0”, International Journal of Psychosocial Rehabilitation, 24(6), pp. 18851–18862. doi:10.61841/8hgfjm75.