@inproceedings{DBLP:conf/cade/HustadtOD17,
  author    = {Ullrich Hustadt and
               Ana Ozaki and
               Clare Dixon},
  title     = {Theorem Proving for Metric Temporal Logic over the Naturals},
  booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  pages     = {326--343},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5\_20},
  doi       = {10.1007/978-3-319-63046-5\_20},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/HustadtOD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2eXyn2hJ6fg8qwsCK","bibbaseid":"hustadt-ozaki-dixon-theoremprovingformetrictemporallogicoverthenaturals-2017","downloads":1,"creationDate":"2018-04-02T20:55:30.124Z","title":"Theorem Proving for Metric Temporal Logic over the Naturals","author_short":["Hustadt, U.","Ozaki, A.","Dixon, C."],"year":2017,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Ana"],"propositions":[],"lastnames":["Ozaki"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"title":"Theorem Proving for Metric Temporal Logic over the Naturals","booktitle":"Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings","pages":"326–343","year":"2017","crossref":"DBLP:conf/cade/2017","url":"https://doi.org/10.1007/978-3-319-63046-5\\_20","doi":"10.1007/978-3-319-63046-5_20","timestamp":"Fri, 02 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/cade/HustadtOD17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/HustadtOD17,\n author = {Ullrich Hustadt and\n Ana Ozaki and\n Clare Dixon},\n title = {Theorem Proving for Metric Temporal Logic over the Naturals},\n booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on\n Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},\n pages = {326--343},\n year = {2017},\n crossref = {DBLP:conf/cade/2017},\n url = {https://doi.org/10.1007/978-3-319-63046-5\\_20},\n doi = {10.1007/978-3-319-63046-5\\_20},\n timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/cade/HustadtOD17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Ozaki, A.","Dixon, C."],"key":"DBLP:conf/cade/HustadtOD17","id":"DBLP:conf/cade/HustadtOD17","bibbaseid":"hustadt-ozaki-dixon-theoremprovingformetrictemporallogicoverthenaturals-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-63046-5\\_20"},"metadata":{"authorlinks":{"hustadt, u":"https://cgi.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":1},"search_terms":["theorem","proving","metric","temporal","logic","over","naturals","hustadt","ozaki","dixon"],"keywords":[],"authorIDs":["aQLR39RKeqjQcByRb"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","WhiGijHmCtTSdLaAj","iqRbmbCgpDeaBjend"]}