Yujing He

	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

1	Yan Chen	[2]
2	Fei Xie	[2]
3	Jin Yang	[2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page