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