2025 : 4 : 29
فارسی
Mohsen Rahmani
Academic rank:
Associate Professor
ORCID:
https://orcid.org/0000-0001-6890-192X
Education:
PhD.
ScopusId:
37061814300
HIndex:
Faculty:
Engineering
Address:
Arak University
Phone:
E-mail:
M-rahmani [at] araku.ac.ir
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
ثبت نشدهاست!
