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://rengj.uomosul.edu.iq/index.php/rengj/article/view/30857. Acesso em: 26 jun. 2026.