Impact Factor:0.0
Journal:Proceedings of the 4th International Conference on Formal Engineering Methods (ICFEM 2002)
Note:2002
Volume:2495
Issue:1
Page Number:38-47
Translation or Not:no
First Author:Hong Mei
All the Authors: Yaodong Feng, Qianxiang Wang, Feng Chen,Hong Mei
Date of Publication:2002-10-01