![]() | ![]() |
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] |