| |
| 1998 | ||
|---|---|---|
| 1 | EE | Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann: Validating Requirements for Fault Tolerant Systems using Model Checking. ICRE 1998: 4-13 |
| 1 | John R. Callahan | [1] |
| 2 | Steve M. Easterbrook | [1] |
| 3 | Gerard J. Holzmann | [1] |