 | 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 |
