TY  - RPRT
TI  - Timed Systems through the Lens of Logic
AU  - S. Akshay
AU  - Paul Gastin
AU  - Vincent Juge
AU  - Shankara Narayanan Krishna
PY  - 2019
UR  - https://arxiv.org/abs/1903.03773
ID  - 1903.03773
ER  -