您要查找的是不是：
- K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem. 邵明;李光辉;李晓维.;模型检验中迁移关系的分组策略
- This paper presents a common method of verifying the winning strategy of games with symbolic model checking，and gives a case study of Tic-Tac-Toe. 给出了使用符号化模型检测来验证对弈必胜策略的一般方法，并给出了一个井字棋必胜策略验证的实例。
- This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker. 结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
- Symbolic Model Checking the SET Protocol SET协议支付过程的符号模型检验
- Verification of PIC Based on Symbolic Model Checking 基于符号模型检验的硬件验证
- Symbolic model checking analysis for cryptographic protocol 密码协议的符号模型检测及分析
- SYMBOLIC MODEL CHECKING OF DISCRETE DURATION CALCULUS 离散时段演算的符号模型验证
- The Symbol Model and Bible Allusion on the Sound and the Fury 论《喧哗与骚动》的象征模式和圣经隐喻
- The cross is symbolic of Christianity. 十字架是基督教的象徵。
- The chemical symbol for copper is "Cu". 铜的化学符号是Cu。
- Standing by him was a model worker. 站在他旁的是一位劳动模范。
- On maps, a cross is the symbol for a church. 在地图上，十字符号代表教堂。
- I think I can get that special model for you. 我想我可以为你找到那种特别的型号。
- She has been held up as a model worker. 她被推举为模范工作者。
- He showed us a model of the new office building. 他给我们看了新办公楼的模型。
- Cypress branches used as a symbol of mourning. 柏枝作为悲哀象征的柏树枝
- He taught Tom how to make a model airplane. 他教汤姆作模型飞机的方法。
- John is repairing his model plane at his leisure. 约翰不慌不忙地修理着他的航模。
- We use x as the symbol for an unknown quantity. 我们用x表示一个未知数。
- The old sailor chipped out a tiny model boat. 那名老水手一点儿一点儿地削出一个小船模型。
