| |
| 1999 | ||
|---|---|---|
| 1 | EE | Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John: Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking. VLSI Design 1999: 288-293 |
| 1 | Adnan Aziz | [1] |
| 2 | Praveen Kumar Jaini | [1] |
| 3 | Lizy Kurian John (Lizy K. John) | [1] |
| 4 | Srivatsan Srinivasan | [1] |