تحليل فضاء الحالات للحاسبات الدورية المنتهية. TUJ-BA 2018, 33 (1).