位置:成果数据库 > 期刊 > 期刊详情页
非确定并发系统的基于说明的没试推导
  • 期刊名称:内蒙古大学学报
  • 时间:0
  • 页码:2001,VOL.32(1).PP106-112
  • 语言:中文
  • 相关项目:分布式系统的形式描述技术与测试方法的研究
同期刊论文项目
同项目期刊论文