当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
设计与性能分析
--
逻辑设计
可逆计算模型的通用性设计方法研究
可逆计算中逻辑综合若干问题研究
基于行为时序逻辑TLA的系统、规则与协议检测的研究
[1]
