開心英語字典

branching-time temporal logic

B 开头单词

基本解释

  • [計算機科學技術]分支時間瞬時邏輯分支時間時序邏輯

专业释义

    計算機科學技術

  • 分支時間瞬時邏輯
  • 分支時間時序邏輯