dblp.uni-trier.dewww.uni-trier.de

Yujing He

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
2EEYan 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)