![]()  | 
| 2006 | ||
|---|---|---|
| 2 | EE | J. Bergeron, H. Foster, A. Piziali, R. S. Mitra, C. Ahlschlager, D. Stein: Building a verification test plan: trading brute force for finesse. DAC 2006: 805-806 | 
| 1991 | ||
| 1 | M. L. Powell, Steve R. Kleiman, S. Barton, D. Shah, D. Stein, M. Weeks: SunOS Multi-thread Architecture. USENIX Winter 1991: 65-80 | |
| 1 | C. Ahlschlager | [2] | 
| 2 | S. Barton | [1] | 
| 3 | J. Bergeron | [2] | 
| 4 | H. Foster | [2] | 
| 5 | Steve R. Kleiman | [1] | 
| 6 | R. S. Mitra | [2] | 
| 7 | A. Piziali | [2] | 
| 8 | M. L. Powell | [1] | 
| 9 | D. Shah | [1] | 
| 10 | M. Weeks | [1] |