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