...
机译:具有线性时序逻辑规范最大可靠性的反应性合成
Univ Leicester Leicester Leics England;
Univ Texas Austin Austin TX 78712 USA;
机译:从时间逻辑规范综合无功切换协议
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:基于线性时间逻辑的参数化无功系统规范的面向对象语言
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:线性时序逻辑的后门
机译:反应合成具有最大可实现的线性时间逻辑规范