Abdullateef Kareem, Bilal, and Ahmad Senjari. 2023. “The Influence of Temporal Logic on Finite Automata”. Al-Rafidain Engineering Journal (AREJ) 28 (1):230-38. https://doi.org/10.33899/rengj.2023.136476.1208.