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