2007 | ||
---|---|---|
3 | EE | Amy Friedlander, Allison Mankin, W. Douglas Maughan, Stephen D. Crocker: DNSSEC: a protocol toward securing the internet infrastructure. Commun. ACM 50(6): 44-50 (2007) |
1982 | ||
2 | William T. Overman, Stephen D. Crocker: Verification of Concurrent Systems: Function and Timing. PSTV 1982: 401-409 | |
1981 | ||
1 | EE | William T. Overman, Stephen D. Crocker, Vittal Kini: A multiprocessor description language. AFIPS National Computer Conference 1981: 19-25 |
1 | Amy Friedlander | [3] |
2 | Vittal Kini | [1] |
3 | Allison Mankin | [3] |
4 | W. Douglas Maughan | [3] |
5 | William T. Overman | [1] [2] |