steffen meaning in Chinese
斯特芬
Examples
- With the scores level at half - time , ole replaced frode johnsen and the norwegians - aided by victor berco ' s red card two minutes after the break - sealed victory with goals from fredrik stromstad and steffen iversen
尽管挪威在下半场开始两分钟后遭遇红牌，但弗里德里克.史唐斯特和史蒂芬.伊弗森的进球帮助球队取得了胜利。 - Tools and algorithms for the construction and analysis of systems , margaria and steffen eds . , lncs 1055 , passau , germany : springer verlag , 1996 , pp . 147 - 166 . 16 kripke s . a semantical analysis of modal logic
我们此理论上已经开发出一个完全自动化的安全协议验证工具spv security protocol verifier .要验证的规范可以带有嵌套知识算子,并且此工具是基于证明的,而不是象别的很多方法那样是基于证伪的,即找漏洞