Abdullateef Kareem, B. and Senjari, A. 2023. The Influence of Temporal Logic on Finite Automata. Al-Rafidain Engineering Journal (AREJ). 28, 1 (Mar. 2023), 230–238. DOI:https://doi.org/10.33899/rengj.2023.136476.1208.