| |
| 1993 | ||
|---|---|---|
| 5 | Paul K. Harter Jr.: Book Review: The Temporal Logic of Reactive and Concurrent Systems, Vol. I Specification by Zahar Manna and Amir Pnueli. Operating Systems Review 27(4): 1-3 (1993) | |
| 4 | Paul K. Harter Jr.: Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield. Operating Systems Review 27(4): 4-6 (1993) | |
| 1985 | ||
| 3 | Paul K. Harter Jr., Dennis Heimbigner, Roger King: IDD: An Interactive Distributed Debugger. ICDCS 1985: 498-506 | |
| 1983 | ||
| 2 | Paul K. Harter Jr.: Book Review: Medusa, A Distributed Operating System by John K. Ousterhout. Operating Systems Review 17(1): 9-10 (1983) | |
| 1981 | ||
| 1 | Arthur J. Bernstein, Paul K. Harter Jr.: Proving Real-Time Properties of Programs with Temporal Logic. SOSP 1981: 1-11 | |
| 1 | Arthur J. Bernstein | [1] |
| 2 | Dennis Heimbigner | [3] |
| 3 | Roger King | [3] |