ABDULLATEEF KAREEM, B.; SENJARI, A. The Influence of Temporal Logic on Finite Automata. Al-Rafidain Engineering Journal (AREJ), [S. l.], v. 28, n. 1, p. 230–238, 2023. DOI: 10.33899/rengj.2023.136476.1208. Disponível em: https://jamh.uomosul.edu.iq/index.php/arej/article/view/30857. Acesso em: 5 sep. 2025.