dblp.uni-trier.dewww.uni-trier.de

Paul K. Harter Jr. Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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

Coauthor Index

1Arthur J. Bernstein [1]
2Dennis Heimbigner [3]
3Roger King [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)