Yujing He (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

Selection of 1 from 2 records - Yujing He has 3 coauthors