عنوان A Survey on Coping with the State Space Explosion Problem in Model Checking نوع پژوهش مقاله چاپشده کلیدواژهها ثبت نشدهاست! چکیده ثبت نشدهاست! پژوهشگران محسن رحمانی (نفر دوم)، وحید رافع (نفر اول)، کیانوش رشیدی (نفر سوم)