您要查找的是不是：
- CTL formula 可计算时态逻辑公式
- The formula of the medicine is still a secret. 此药的配方仍是秘密。
- "How do you do?" is a polite formula. "您好。"是客气的套语。
- It was Hart who created the basic formula of the western film. 正是这个哈特创造了西部电影的基本格局。
- A formula for settling the border dispute has been worked out. 已拟定一个解决边界纠纷的方案。
- The system cannot write the CTL to a file. 系统无法将CTL写入文件。
- Managers and workers are still working out a peace formula. 劳资双方仍在商谈制订和解方案。
- The antigen-specific CTL efficacy was 42%. 同时融合蛋白诱导的CTL杀伤率为42%25.
- They are working on the perfection of their new paint formula. 他们正在努力研制尽善尽美的新颜料配方。
- Furthermore,pUE enhanced the activity of CTL. pUE增强了CTL活性。
- It's the formula for converting gallons into liters. 这是加仑与升的换算公式。
- Please contact CTL office to get more details. 要获得更多信息，请通过以下方式联系CTL办公室。
- She tried to wrap up a censure in a polite formula. 她试图用客套的话掩饰指责之意。
- I do not remember all these formula. 这些公式我并不全都记得。
- Formula one cars are the most powerful. 一级方程式赛车马力最大。
- Almost every episode followed a certain formula. 几乎每一段情节都遵循一套特定的模式。
- 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 system cannot write the CTL to the specified certificate store. 系统无法将CTL写入指定的证书存储区。
- There is no sure formula for success. 成功并无一定之规.
- The cars in the Formula racing cars have one seat. 在方程式汽车赛中使用的汽车都只有一个座位。
