Formal Behavior Modeling and Effective automatic refineness
发布时间：2019-04-13 点击数：
所属单位：计算机科学与技术学院
论文名称：Formal Behavior Modeling and Effective automatic refineness
发表刊物：Information Science
第一作者：马军
论文类型：应用研究
论文编号：lw-133551
卷号：180
期号：20
页面范围：3894
是否译文：否
发表时间：2010-05