扫描手机二维码

欢迎您的访问
您是第 位访客

开通时间：..

最后更新时间：..

中文官网| English | 手机版
同专业硕导
  • 唐郑熠 ( 副教授 ) 赞

    的个人主页 http://faculty.fjut.edu.cn/tangzhengyi/zh_CN/index.htm

  •   副教授   硕士生导师
论文成果 当前位置： 中文主页 >> 科学研究 >> 论文成果
实时互斥协议的形式化建模与自动验证
点击次数：
所属单位：计算机科学与数学学院
发表刊物：福建工程学院学报
项目来源：其他课题
备注：2016年5月20日扬审核通过
论文类型：期刊论文
论文编号：8123
卷号：14
期号：1
ISSN号：1672-4348
是否译文：否
CN号：35-1267/Z
发表时间：2016-01-01
闽ICP备10022194号-1    福建省福州市闽侯县上街镇学府南路69号，邮编350118