2025/12/5
فارسی
Vahid Rafeh
Academic rank:
ORCID:
https://orcid.org/0000-0002-2486-7384
Education:
PhD.
H-Index:
Faculty:
ScholarId:
E-mail:
v-rafe [at] araku.ac.ir
ScopusId:
View
Phone:
ResearchGate:
Home
Research activities
Links
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
ثبت نشدهاست!
