2024 : 12 : 14
Vahid Rafeh

Vahid Rafeh

Academic rank:
ORCID: https://orcid.org/0000-0002-2486-7384
Education: PhD.
ScopusId: 14054926800
HIndex:
Faculty:
Address: Arak University
Phone:

Research

Title
A Survey on Coping with the State Space Explosion Problem in Model Checking
Type
JournalPaper
Keywords
ثبت نشده‌است!
Year
2013
Journal International Research Journal of Applied & Basic Sciences
DOI
Researchers Vahid Rafeh ، Mohsen Rahmani ، Kianoush Rashidi

Abstract

ثبت نشده‌است!