该词条未找到_海词词典

您要查找的是不是：

computation tree logic(CTL) 计算树逻辑
CTL (computation tree logic) CTL
computation tree logic 计算树逻辑
SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
As the car hit the tree he was snot out. 汽车扭在村上，他被猛地摔了出来。
1989. smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
The bird sang high and clearly in the tree. 鸟儿在树上清脆地高歌。
258. smv - SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
The annular markings on a tree indicate its age. 树的环形纹理显示其年龄。
The car hit the tree with a sickening crash. 那辆汽车撞在树上发出让人难受的撞击声。
An arrow whizzed past and stuck in a tree. 一支箭“飕”地一声飞过去，钉在一棵树上。
In model checking a new method is proposed on checking whether a system property represented by a computation temperal logic (CTL) formula is vacuity. 摘要在模型检验中建立了一种新方法：检验可计算时态逻辑(CTL)公式描述的系统属性是否为空属性。
The squirrel ran up a tree and got out of my reach. 松鼠跑到树上去了，我逮不着。
The workers saw off a limb from the tree. 工人从树上锯下了一根大树枝。
He is not made for climbing the tree of knowledge. 他不是生来适于攀登知识之树的。
Addition and division are forms of computation. 加法和除法都是计算方法。
He tethered his horse to a tree. 他用绳子把马拴在树上。
It will cost 5000 at the lowest computation. 估计最少也值5000英镑。
The ivy twined round the oak tree. 长春藤盘绕着橡树。