A Survey on Coping with the State Space Explosion Problem in Model Checking

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

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