عنوان ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی سیستم های تبدیل گراف با استفاده از الگوریتم های تکاملی نوع پژوهش مقاله ارائهشده کلیدواژهها ثبت نشدهاست! چکیده ثبت نشدهاست! پژوهشگران وحید رافع (نفر سوم)، رزا یوسفیان (نفر دوم)، مریم مرادی (نفر اول)