二叉图 meaning in English
binary graph
Examples
- 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。