Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Schwartz, R. L., Melliar-Smith, P. M., & Vogt, F. H. In Proceedings of Protocol Specification, Testing, and Verification, pages 3-18, 1983. bibtex @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}
}
Downloads: 0
{"_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"]}