Shi Ying (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Xiangyang Jia, Shi Ying, Tao Zhang, Honghua Cao, Dan Xie: A New Architecture Description Language for Service-Oriented Architec. GCC 2007: 96-103

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

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

6		Xiangyang Jia, Shi Ying, Tao Zhang, Honghua Cao, Dan Xie: A New Architecture Description Language for Service-Oriented Architec. GCC 2007: 96-103
5		Honghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190