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