2025/12/5
فارسی
Mohsen Rahmani
Academic rank:
Associate Professor
ORCID:
https://orcid.org/0000-0001-6890-192X
Education:
PhD.
H-Index:
Faculty:
Engineering
ScholarId:
E-mail:
M-rahmani [at] araku.ac.ir
ScopusId:
View
Phone:
ResearchGate:
Home
Research activities
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
ثبت نشدهاست!
