linear time temporal logic

英 美
  • 线性时序逻辑
  • linear adj.直线的;长度的;线性的
  • logic n.逻辑;逻辑学;条理性;推理
  • temporal adj.现世的;暂时的;当时的;太阳穴的;颞的
  • time n.时间;时代;时期;倍;次数;节拍v.为…安排时间;计时;[体]在某一时刻击球adj.时间的;定时的;分期(付款)的;定期的