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