您要查找的是不是：
- This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker. 结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
- 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. 给出了使用符号化模型检测来验证对弈必胜策略的一般方法，并给出了一个井字棋必胜策略验证的实例。
- The Symbol Model and Bible Allusion on the Sound and the Fury 论《喧哗与骚动》的象征模式和圣经隐喻
- The chemical symbol for copper is "Cu". 铜的化学符号是Cu。
- On maps, a cross is the symbol for a church. 在地图上，十字符号代表教堂。
- Phonetic symbols represent sounds. 语音符号是标音的符号。
- These symbols mean nothing to me. 这些符号我完全不明白是什麽意思。
- Standing by him was a model worker. 站在他旁的是一位劳动模范。
- Diana is modeling for a fashion show. 戴安娜正在时装表演会上当模特。
- Cypress branches used as a symbol of mourning. 柏枝作为悲哀象征的柏树枝
- We use x as the symbol for an unknown quantity. 我们用x表示一个未知数。
- The white bird is a symbol of freedom. 这白色的鸟是自由的象徵。
- I think I can get that special model for you. 我想我可以为你找到那种特别的型号。
- The Cross is the symbol of Christianity. 十字架是基督教的象征。
- She has been held up as a model worker. 她被推举为模范工作者。
- The lion is the symbol of courage. 狮子是勇武的象徵。
- He showed us a model of the new office building. 他给我们看了新办公楼的模型。
- He taught Tom how to make a model airplane. 他教汤姆作模型飞机的方法。
- The dove is the symbol of peace. 鸽子是和平的象征。
