نام و نام خانوادگی کیانوش رشیدی شغل نامشخص تحصیلات _ وبسایت پست الکترونیک — مقاله چاپشده مقاله ارائهشده کتاب پایان نامه های تقاضا محور و غیر تقاضا محور طرح پژوهشی خاتمهیافته افتخارات و جوایز استانی، کشوری و بینالمللی ابداع عنوانمجله 1 A Survey on Coping with the State Space Explosion Problem in Model Checking International Research Journal of Applied & Basic Sciences