تحليل فضاء الحالات للحاسبات الدورية المنتهية. TUJ-BA [Internet]. 2018 Dec. 9 [cited 2026 Oct. 26];33(1). Available from: https://journal.latakia-univ.edu.sy/index.php/bassnc/article/view/5199