...
机译:线性时间逻辑公式的时间范式
Linear Temporal Logic; transition system; character; temporal normal form;
机译:线性时间逻辑公式的时间范式
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:原型验证系统中度量间隔时间逻辑公式的定时自动机
机译:线性时间平衡逻辑的范式
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:线性时序逻辑的后门
机译:线性时间均衡逻辑的正规形式
机译:测试有限执行轨迹上的线性时态逻辑公式