Formal Behavior Modeling and Effective automatic refineness
点击次数：
所属单位：计算机科学与技术学院
发表刊物：Information Science
全部作者：马军
第一作者：马军
论文编号：lw-133551
卷号：180
期号：20
页面范围：3894
是否译文：否
发表时间：2010-05-26
发表时间：2010-05-26
教授 博士生导师 硕士生导师
性别：男
学历：研究生(博士)毕业
学位：博士生
在职信息：在职
所在单位：计算机科学与技术学院
入职时间：1976-12-01
Formal Behavior Modeling and Effective automatic refineness
点击次数：
所属单位：计算机科学与技术学院
发表刊物：Information Science
全部作者：马军
第一作者：马军
论文编号：lw-133551
卷号：180
期号：20
页面范围：3894
是否译文：否
发表时间：2010-05-26
发表时间：2010-05-26