تحليل فضاء الحالات للحاسبات الدورية المنتهية. Latakia University Journal -Basic Sciences Series, v. 33, n. 1, 9 Dec.2018.