branching-time temporal logic

[branching-time temporal logic]
[branching-time temporal logic]

中文释义

分支时间时序逻辑

单词分析

单词结构:

branching-time temporal logic

字母数:29

记忆提示

🎯 重点记忆:

  • 单词拼写:branching-time temporal logic
  • 核心含义:分支时间时序逻辑