2024 : 12 : 26
فارسی
Vahid Rafeh
Academic rank:
ORCID:
https://orcid.org/0000-0002-2486-7384
Education:
PhD.
ScopusId:
14054926800
HIndex:
Faculty:
Address:
Arak University
Phone:
E-mail:
v-rafe [at] araku.ac.ir
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
ثبت نشدهاست!