![](/img/cover-not-exists.png)
[IEEE 2009 Third International Symposium on Intelligent Information Technology Application - NanChang, China (2009.11.21-2009.11.22)] 2009 Third International Symposium on Intelligent Information Technology Application - Methods to Tackle State Explosion Problem in Model Checking
Xin-feng, Zhu, Jian-dong, Wang, Bin, Li, Jun-wu, Zhu, Jun, WuYear:
2009
Language:
english
DOI:
10.1109/iita.2009.50
File:
PDF, 354 KB
english, 2009