位置：成果数据库 > 期刊 > 期刊详情页
ES结构的相似性与等价性
  • 期刊名称：中国人民解放军理工大学学报(录用，待发)
  • 时间：0
  • 相关项目：占优结构的相似性与局部相似性研究
同期刊论文项目
占优结构的相似性与局部相似性研究
期刊论文 10 会议论文 1
同项目期刊论文
Characterize branching distance in terms of ()- bisimilarity
多agent逻辑程序及其在协议验证中的应用
一种验证非否认协议的新方法