Guoping Jia

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2001

2 Guoping Jia, Susanne Graf: Verification Experiments on the MASCARA Protocol. SPIN 2001: 123-142

1996

1 Guoping Jia, Guoliang Zheng: Fair Transition System Specification: An Integrated Approach. SIGPLAN Notices 31(3): 14-21 (1996)

	2001
2		Guoping Jia, Susanne Graf: Verification Experiments on the MASCARA Protocol. SPIN 2001: 123-142
	1996
1		Guoping Jia, Guoliang Zheng: Fair Transition System Specification: An Integrated Approach. SIGPLAN Notices 31(3): 14-21 (1996)

Coauthor Index

1 Susanne Graf [2]

2 Guoliang Zheng [1]

Colors in the list of coauthors