Yujing He

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Yan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118

2006

1 Yujing He: Comparison of the Modeling Languages Alloy and UML. Software Engineering Research and Practice 2006: 671-677

	2007
2		Yan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118
	2006
1		Yujing He: Comparison of the Modeling Languages Alloy and UML. Software Engineering Research and Practice 2006: 671-677

Coauthor Index