An Interval-Based Temporal Logic. Schwartz, R. L., Melliar-Smith, P. M., & Vogt, F. H. In Proceedings of Logic of Programs, pages 443-457, 1983.
An Interval-Based Temporal Logic [link]Paper  bibtex   
@inproceedings{ dblp4264670,
  title = {An Interval-Based Temporal Logic},
  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 = {dblp4264670},
  id = {dblp4264670},
  biburl = {http://www.dblp.org/rec/bibtex/conf/lop/SchwartzMV83},
  url = {http://dx.doi.org/10.1007/3-540-12896-4_380},
  conference = {Logic of Programs},
  pages = {443-457},
  text = {Logic of Programs 1983:443-457},
  booktitle = {Proceedings of Logic of Programs}
}

Downloads: 0