Shi Ying (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Honghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190

1 Dehui Du, Shi Ying, Keqing He, Yangfan He: An Approach for Constructing Software Component Repository in Grid Environments. GCC Workshops 2004: 75-82

Selection of 2 from 11 records - Shi Ying has 26 coauthors

5		Honghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190
1		Dehui Du, Shi Ying, Keqing He, Yangfan He: An Approach for Constructing Software Component Repository in Grid Environments. GCC Workshops 2004: 75-82