Mingyue Jiang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Zuohua Ding, Mingyue Jiang, Jing Liu: Model Checking Service Component Composition by SPIN. ACIS-ICIS 2009: 1029-1034

2 Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders: Modelling and Verification of Web Navigation. ICWE 2009: 181-188

1 Zuohua Ding, Mingyue Jiang: Port Based Reliability Computing for Service Composition. IEEE SCC 2009: 403-410

	2009
3		Zuohua Ding, Mingyue Jiang, Jing Liu: Model Checking Service Component Composition by SPIN. ACIS-ICIS 2009: 1029-1034
2		Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders: Modelling and Verification of Web Navigation. ICWE 2009: 181-188
1		Zuohua Ding, Mingyue Jiang: Port Based Reliability Computing for Service Composition. IEEE SCC 2009: 403-410

Coauthor Index

1	Zuohua Ding	[1] [2] [3]
2	Jing Liu	[3]
3	Geguang Pu	[2]
4	Jeff W. Sanders (Jeffrey W. Sanders)	[2]