@inproceedings{DBLP:conf/cade/HustadtOD17,
  author       = {Ullrich Hustadt and
                  Ana Ozaki and
                  Clare Dixon},
  editor       = {Leonardo de Moura},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {326--343},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_20},
  doi          = {10.1007/978-3-319-63046-5\_20},
  timestamp    = {Thu, 29 Sep 2022 08:36:56 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HustadtOD17.bib},
  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":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Ana"],"propositions":[],"lastnames":["Ozaki"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"editor":[{"firstnames":["Leonardo"],"propositions":["de"],"lastnames":["Moura"],"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","series":"Lecture Notes in Computer Science","volume":"10395","pages":"326–343","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-63046-5\\_20","doi":"10.1007/978-3-319-63046-5_20","timestamp":"Thu, 29 Sep 2022 08:36:56 +0200","biburl":"https://dblp.org/rec/conf/cade/HustadtOD17.bib","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 editor = {Leonardo de Moura},\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 series = {Lecture Notes in Computer Science},\n volume = {10395},\n pages = {326--343},\n publisher = {Springer},\n year = {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 = {Thu, 29 Sep 2022 08:36:56 +0200},\n biburl = {https://dblp.org/rec/conf/cade/HustadtOD17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Ozaki, A.","Dixon, C."],"editor_short":["de Moura, L."],"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://intranet.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","FgmYE34DdKWThg2dR"]}