贰靶汉英词典

branching-time temporal logic

B 开头单词

基本解释

  • [计算机科学技术]分支时间瞬时逻辑分支时间时序逻辑

专业释义

    计算机科学技术

  • 分支时间瞬时逻辑
  • 分支时间时序逻辑