Paul K. Harter Jr.

Publication Activity (10 Years)

Years Active: 1981-1993
Publications (10 Years): 0

Publications

Paul K. Harter Jr.
Book Review: The Temporal Logic of Reactive and Concurrent Systems, Vol. I Specification by Zahar Manna and Amir Pnueli. ACM SIGOPS Oper. Syst. Rev. 27 (4) (1993)
Paul K. Harter Jr.
Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield. ACM SIGOPS Oper. Syst. Rev. 27 (4) (1993)
Paul K. Harter Jr., Dennis Heimbigner, Roger King
IDD: An Interactive Distributed Debugger. ICDCS (1985)
Paul K. Harter Jr.
Book Review: Medusa, A Distributed Operating System by John K. Ousterhout. ACM SIGOPS Oper. Syst. Rev. 17 (1) (1983)
Arthur J. Bernstein, Paul K. Harter Jr.
Proving Real-Time Properties of Programs with Temporal Logic. SOSP (1981)