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