CTL formula

英 美
  • 可计算时态逻辑公式
  • CTL n.城堡式的(检定合格的工具清单;互余的)
  • formula n.配方;公式;规则;代乳品adj.方程式的;(赛车的)级的