WanXia Qu

	2008
2		WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang: Efficient Verification of Parameterized Cache Coherence Protocols. ICYCS 2008: 154-159
1		WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang: Explicit Model Checking Based on Integer Pointer and Fibonacci Hash. ICYCS 2008: 844-849

Coauthor Index

1	Yang Guo	[1] [2]
2	Tun Li	[1]
3	Zhengbin Pang	[2]
4	Xiaodong Yang	[1] [2]