[IEEE 2009 Third International Symposium on Intelligent...

  • Main
  • [IEEE 2009 Third International...

[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, Wu
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2009
Language:
english
DOI:
10.1109/iita.2009.50
File:
PDF, 354 KB
english, 2009
Conversion to is in progress
Conversion to is failed