| |
| 2004 | ||
|---|---|---|
| 4 | EE | Olga Shumsky Matlin, William McCune: Encapsulation for Practical Simplification Procedures CoRR cs.LO/0402010: (2004) |
| 2003 | ||
| 3 | EE | Olga Shumsky Matlin, William McCune, Ewing L. Lusk: Methods to Model-Check Parallel Systems Software CoRR cs.LO/0312012: (2003) |
| 2002 | ||
| 2 | EE | Olga Shumsky Matlin, Ewing L. Lusk, William McCune: SPINning Parallel Systems Software. SPIN 2002: 213-220 |
| 1 | EE | Olga Shumsky Matlin, Ewing L. Lusk, William McCune: SPINning Parallel Systems Software CoRR cs.LO/0203009: (2002) |
| 1 | Ewing L. Lusk | [1] [2] [3] |
| 2 | William McCune | [1] [2] [3] [4] |