The Influence of Temporal Logic on Finite Automata. AREJ [Internet]. 2023 Mar. 1 [cited 2026 Jun. 26];28(1):230-8. Available from: https://rengj.uomosul.edu.iq/index.php/rengj/article/view/30857