BernsteinH81'

BibTeX

@inproceedings{DBLP:conf/sosp/BernsteinH81,
  author    = {Arthur J. Bernstein and
               Paul K. Harter Jr.},
  title     = {Proving Real-Time Properties of Programs with Temporal Logic},
  booktitle = {SOSP},
  year      = {1981},
  pages     = {1-11},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}