- CSB - MetaPress - Google - Bing - Yahoo
 | 1987 | |
|---|---|---|
| 3 |      | J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson: Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng. 13(2): 151-156 (1987) |
| 1986 | ||
| 2 | | J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson: Muse : A Computer Assisted Verification System. IEEE Symposium on Security and Privacy 1986: 25-33 |
| 1984 | ||
| 1 |  | Norman Proctor: A Self-Synchronizing Cascaded Cipher System With Dynamic Control of Error-Propagation. CRYPTO 1984: 174-190 |
| 1 | J. Daniel Halpern | [2] [3] |
| 2 | Sam Owre | [2] [3] |
| 3 | William F. Wilson | [2] [3] |