@inproceedings{ dblp4265372,
  title = {Interval Logic: A Higher-Level Temporal Logic for Protocol Specification},
  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 = {dblp4265372},
  id = {dblp4265372},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ifip/SchwartzMV83},
  url = {},
  conference = {Protocol Specification, Testing, and Verification},
  pages = {3-18},
  text = {Protocol Specification, Testing, and Verification 1983:3-18},
  booktitle = {Proceedings of Protocol Specification, Testing, and Verification}
}

{"_id":"MbNZv2mHYrddw8GTT","bibbaseid":"schwartz-melliarsmith-vogt-intervallogicahigherleveltemporallogicforprotocolspecification-1983","downloads":0,"creationDate":"2014-12-14T05:18:58.972Z","title":"Interval Logic: A Higher-Level Temporal Logic for Protocol Specification","author_short":["Schwartz, R. L.","Melliar-Smith, P. M.","Vogt, F. H."],"year":1983,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ifip/SchwartzMV83","bibdata":{"title":"Interval Logic: A Higher-Level Temporal Logic for Protocol Specification","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":"dblp4265372","id":"dblp4265372","biburl":"http://www.dblp.org/rec/bibtex/conf/ifip/SchwartzMV83","url":"","conference":"Protocol Specification, Testing, and Verification","pages":"3-18","text":"Protocol Specification, Testing, and Verification 1983:3-18","booktitle":"Proceedings of Protocol Specification, Testing, and Verification","bibtex":"@inproceedings{ dblp4265372,\n title = {Interval Logic: A Higher-Level Temporal Logic for Protocol Specification},\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 = {dblp4265372},\n id = {dblp4265372},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ifip/SchwartzMV83},\n url = {},\n conference = {Protocol Specification, Testing, and Verification},\n pages = {3-18},\n text = {Protocol Specification, Testing, and Verification 1983:3-18},\n booktitle = {Proceedings of Protocol Specification, Testing, and Verification}\n}","bibbaseid":"schwartz-melliarsmith-vogt-intervallogicahigherleveltemporallogicforprotocolspecification-1983","role":"author","urls":{},"downloads":0},"search_terms":["interval","logic","higher","level","temporal","logic","protocol","specification","schwartz","melliar-smith","vogt"],"keywords":[],"authorIDs":[],"dataSources":["b4qYXe6DaXPFZb2MA"]}