Abdullateef Kareem B, Senjari A. The Influence of Temporal Logic on Finite Automata. AREJ [Internet]. 2023 Mar. 1 [cited 2025 Sep. 10];28(1):230-8. Available from: https://edusj.uomosul.edu.iq/index.php/arej/article/view/30857