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.
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
{"_id":"SEcSRf9w3Bh8PQWev","bibbaseid":"schwartz-melliarsmith-vogt-anintervalbasedtemporallogic-1983","downloads":0,"creationDate":"2014-12-14T05:18:58.970Z","title":"An Interval-Based Temporal Logic","author_short":["Schwartz, R. L.","Melliar-Smith, P. M.","Vogt, F. H."],"year":1983,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lop/SchwartzMV83","bibdata":{"title":"An Interval-Based Temporal Logic","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":"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","bibtex":"@inproceedings{ dblp4264670,\n title = {An Interval-Based Temporal Logic},\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 = {dblp4264670},\n id = {dblp4264670},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lop/SchwartzMV83},\n url = {http://dx.doi.org/10.1007/3-540-12896-4_380},\n conference = {Logic of Programs},\n pages = {443-457},\n text = {Logic of Programs 1983:443-457},\n booktitle = {Proceedings of Logic of Programs}\n}","bibbaseid":"schwartz-melliarsmith-vogt-anintervalbasedtemporallogic-1983","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-12896-4_380"},"downloads":0},"search_terms":["interval","based","temporal","logic","schwartz","melliar-smith","vogt"],"keywords":[],"authorIDs":[],"dataSources":["36wvPdKDjit5b4QkZ"]}