MODEL CHECKING PROBLEM的意思|示意
美 / /
英 / /
模型检查问题
MODEL CHECKING PROBLEM的网络常见释义
问题 另外,文献[10]还讨论了Petri 网模型检 验问题(model checking problem)的可判性.以上NP 完全性研究均未涉及步问题.