A temporal logic approach to discrete event control for the safety canonical class
A temporal logic approach to discrete event control for the safety canonical class
复制标题
安全规范类离散事件控制的时态逻辑方法
DOI：
10.1016/0167-6911(96)00032-1
复制
发表时间：
1996
影响因子：
2.6
通讯作者：
R. Devanathan
中科院分区：
文献类型：
--
作者：
K. T. Seow;R. Devanathan
