馈线自动化算法的形式化建模与验证
发布时间：2018-06-04 点击次数：次
所属单位：计算机科学与数学学院
发表刊物：计算机工程
项目来源：省、自治区、直辖市科技项目
备注：2016年5月20日扬审核通过
论文类型：期刊论文
论文编号：8071
卷号：42
期号：3
ISSN号：1000-3428
是否译文：否
CN号：31-1289/TP
发表时间：2016-03-25