The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.

对于并发传值系统抽象模型的选取直接影响其模型检测的效率。

youdao

The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.

对于并发传值系统抽象模型的选取直接影响其模型检测的效率。

youdao