位置：成果数据库 > 期刊 > 期刊详情页
递归数据传送进程的证明系统
  • 期刊名称：计算机学报
  • 时间：0
  • 页码：1996，第19卷第11期，954-960
  • 语言：中文
  • 相关项目：消息传送进程的代数理论
作者： 林惠民|
同期刊论文项目
消息传送进程的代数理论
期刊论文 1 获奖 2 著作 1
同项目期刊论文