Hits:

Institution:计算机科学与技术学院

Title of Paper:Formal Behavior Modeling and Effective automatic refineness

Journal:Information Science

First Author:马军

All the Authors:马军

Document Code:lw-133551

Volume:180

Issue:20

Page Number:3894

Translation or Not:No

Date of Publication:2010-05

Release Time:2019-10-24