RAJAMANICHAM, Leelavathi; FEN PING, Qin; JIA, Chen. Symbolic Model Checking for Converse Propositional Dynamic Logic based Industry 4.0. International Journal of Psychosocial Rehabilitation, [S. l.], v. 24, n. 6, p. 18851–18862, 2020. DOI: 10.61841/8hgfjm75. Disponível em: https://www.psychosocial.com/index.php/ijpr/article/view/8579. Acesso em: 9 jan. 2026.