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