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