Some Problems in the Paper “Model Checking Using Partial...

Energy Procedia 2011 / 1 Vol. 13

Some Problems in the Paper “Model Checking Using Partial Kripke Structure with 3-Valued Temporal Logic”

Lei, Chen, Yun-fu, Shen
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?
Volume:
13
Journal:
Energy Procedia
DOI:
10.1016/j.egypro.2011.12.501
Date:
January, 2011
File:
PDF, 8 KB
2011
Conversion to is in progress
Conversion to is failed