@inproceedings{ dblp4265063,
  title = {An Interval Logic for Higher-Level Temporal Reasoning},
  author = {Richard L. Schwartz and P. M. Melliar-Smith and Friedrich H. Vogt},
  author_short = {Schwartz, R. L. and Melliar-Smith, P. M. and Vogt, F. H.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1983},
  key = {dblp4265063},
  id = {dblp4265063},
  biburl = {http://www.dblp.org/rec/bibtex/conf/podc/SchwartzMV83},
  url = {http://doi.acm.org/10.1145/800221.806720},
  conference = {PODC},
  pages = {173-186},
  text = {PODC 1983:173-186},
  booktitle = {Proceedings of Principles of Distributed Computing (PODC)}
}

{"_id":"xfKPXetTex9KruvSF","bibbaseid":"schwartz-melliarsmith-vogt-anintervallogicforhigherleveltemporalreasoning-1983","downloads":0,"creationDate":"2014-12-14T05:18:58.971Z","title":"An Interval Logic for Higher-Level Temporal Reasoning","author_short":["Schwartz, R. L.","Melliar-Smith, P. M.","Vogt, F. H."],"year":1983,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/podc/SchwartzMV83","bibdata":{"title":"An Interval Logic for Higher-Level Temporal Reasoning","author":["Richard L. Schwartz","P. M. Melliar-Smith","Friedrich H. Vogt"],"author_short":["Schwartz, R. L.","Melliar-Smith, P. M.","Vogt, F. H."],"bibtype":"inproceedings","type":"inproceedings","year":"1983","key":"dblp4265063","id":"dblp4265063","biburl":"http://www.dblp.org/rec/bibtex/conf/podc/SchwartzMV83","url":"http://doi.acm.org/10.1145/800221.806720","conference":"PODC","pages":"173-186","text":"PODC 1983:173-186","booktitle":"Proceedings of Principles of Distributed Computing (PODC)","bibtex":"@inproceedings{ dblp4265063,\n title = {An Interval Logic for Higher-Level Temporal Reasoning},\n author = {Richard L. Schwartz and P. M. Melliar-Smith and Friedrich H. Vogt},\n author_short = {Schwartz, R. L. and Melliar-Smith, P. M. and Vogt, F. H.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1983},\n key = {dblp4265063},\n id = {dblp4265063},\n biburl = {http://www.dblp.org/rec/bibtex/conf/podc/SchwartzMV83},\n url = {http://doi.acm.org/10.1145/800221.806720},\n conference = {PODC},\n pages = {173-186},\n text = {PODC 1983:173-186},\n booktitle = {Proceedings of Principles of Distributed Computing (PODC)}\n}","bibbaseid":"schwartz-melliarsmith-vogt-anintervallogicforhigherleveltemporalreasoning-1983","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/800221.806720"},"downloads":0},"search_terms":["interval","logic","higher","level","temporal","reasoning","schwartz","melliar-smith","vogt"],"keywords":[],"authorIDs":[],"dataSources":["DtieCjbf4b3jtiJP4"]}