BibTeX records: Paul K. Harter Jr.

download as .bib file

@article{DBLP:journals/sigops/Harter93,
  author    = {Paul K. Harter Jr.},
  title     = {Book Review: The Temporal Logic of Reactive and Concurrent Systems,
               Vol. {I} Specification by Zahar Manna and Amir Pnueli},
  journal   = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume    = {27},
  number    = {4},
  pages     = {1--3},
  year      = {1993},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigops/Harter93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Harter93a,
  author    = {Paul K. Harter Jr.},
  title     = {Book Review: Verifying Temporal Properties of Systems by Julian Charles
               Bradfield},
  journal   = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume    = {27},
  number    = {4},
  pages     = {4--6},
  year      = {1993},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigops/Harter93a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HarterHK85,
  author    = {Paul K. Harter Jr. and
               Dennis Heimbigner and
               Roger King},
  title     = {{IDD:} An Interactive Distributed Debugger},
  booktitle = {Proceedings of the 5th International Conference on Distributed Computing
               Systems, Denver, Colorado, USA, May 13-17, 1985},
  pages     = {498--506},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
  timestamp = {Wed, 27 Nov 2013 16:54:35 +0100},
  biburl    = {https://dblp.org/rec/conf/icdcs/HarterHK85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Harter83,
  author    = {Paul K. Harter Jr.},
  title     = {Book Review: Medusa, {A} Distributed Operating System by John K. Ousterhout},
  journal   = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume    = {17},
  number    = {1},
  pages     = {9--10},
  year      = {1983},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigops/Harter83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BernsteinH81,
  author    = {Arthur J. Bernstein and
               Paul K. Harter Jr.},
  editor    = {John Howard and
               David P. Reed},
  title     = {Proving Real-Time Properties of Programs with Temporal Logic},
  booktitle = {Proceedings of the Eighth Symposium on Operating System Principles,
               {SOSP} 1981, Asilomar Conference Grounds, Pacific Grove, California,
               USA, December 14-16, 1981},
  pages     = {1--11},
  publisher = {{ACM}},
  year      = {1981},
  url       = {https://doi.org/10.1145/800216.806585},
  doi       = {10.1145/800216.806585},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/conf/sosp/BernsteinH81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics