Paul K. Harter Jr. Coauthor index DBLP Vis pubzone.org

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

DBLP keys1993
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul K. Harter Jr.: Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield. Operating Systems Review 27(4): 4-6 (1993)
1985
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul K. Harter Jr., Dennis Heimbigner, Roger King: IDD: An Interactive Distributed Debugger. ICDCS 1985: 498-506
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul K. Harter Jr.: Book Review: Medusa, A Distributed Operating System by John K. Ousterhout. Operating Systems Review 17(1): 9-10 (1983)
1981
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur 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 © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)