branching-time temporal logic
词典收录
美式发音
英式发音
单词级别
高级
英文单词: | branching-time temporal logic |
---|---|
中文翻译: | 分支时间时序逻辑 |