Paul K. Harter Jr.
Paul K. Harter Jr.
Book Review: The Temporal Logic of Reactive and Concurrent Systems, Vol. I Specification by Zahar Manna and Amir Pnueli.
1-3
1993
27
ACM SIGOPS Oper. Syst. Rev.
4
db/journals/sigops/sigops27.html#Harter93
Paul K. Harter Jr.
Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield.
4-6
1993
27
ACM SIGOPS Oper. Syst. Rev.
4
db/journals/sigops/sigops27.html#Harter93a
Paul K. Harter Jr.
Dennis Heimbigner
Roger King
IDD: An Interactive Distributed Debugger.
498-506
1985
conf/icdcs/1985
ICDCS
db/conf/icdcs/icdcs85.html#HarterHK85
Paul K. Harter Jr.
Book Review: Medusa, A Distributed Operating System by John K. Ousterhout.
9-10
1983
17
ACM SIGOPS Oper. Syst. Rev.
1
db/journals/sigops/sigops17.html#Harter83
Arthur J. Bernstein
Paul K. Harter Jr.
Proving Real-Time Properties of Programs with Temporal Logic.
1-11
1981
conf/sosp/1981
SOSP
db/conf/sosp/sosp81.html#BernsteinH81
https://doi.org/10.1145/800216.806585
Arthur J. Bernstein
Dennis Heimbigner
Roger King