Huabing Yang

	2009
3		Jinshuang Wang, Huabing Yang, Xingyuan Zhang: Liveness Reasoning with Isabelle/HOL. TPHOLs 2009: 485-499
	2006
2		Huabing Yang, Xingyuan Zhang, Yuanyuan Wang: A correctness proof of the SRP protocol. IPDPS 2006
1		Huabing Yang, Xingyuan Zhang, Yuanyuan Wang: A Correctness Proof of the DSR Protocol. MSN 2006: 72-83

Coauthor Index

1	Jinshuang Wang	[3]
2	Yuanyuan Wang	[1] [2]
3	Xingyuan Zhang	[1] [2] [3]