Theorem proving for metric temporal logic over the naturals

U. Hustadt, A. Ozaki, C. Dixon

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	International Conference on Automated Deduction
DOIs	https://doi.org/10.1007/978-3-319-63046-5_20
Publication status	Published - 2017

Access to Document

TY - GEN

T1 - Theorem proving for metric temporal logic over the naturals

AU - Hustadt, U.

AU - Ozaki, A.

AU - Dixon, C.

PY - 2017

Y1 - 2017

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-85026750584&partnerID=MN8TOARS

U2 - 10.1007/978-3-319-63046-5_20

DO - 10.1007/978-3-319-63046-5_20

M3 - Conference contribution

BT - International Conference on Automated Deduction

ER -