偏序时序逻辑
partial order temporal logic
点-时段时序逻辑
point-interval temporal logic
分支时间时序逻辑
branching-time temporal logic
高速时序逻辑
High speed sequencing logic
活动时序逻辑
temporal logic of actions
扩展时段时序逻辑
extended interval temporal logic
离散时间区间时序逻辑
discrete timed interval temporal logic
脉冲异步时序逻辑电路分析
the analysis of the pulse asynchronous time sequen
脉冲异步时序逻辑电路设计
the design of the pulse asynchronous time sequenci
任意基数值时序逻辑
arbitrary multivalued sequential logic