TY  - RPRT
TI  - Querying Log Data with Metric Temporal Logic (Technical Report)
AU  - Sebastian Brandt
AU  - Elem Güzel Kalaycı
AU  - Vladislav Ryzhikov
AU  - Guohui Xiao
AU  - Michael Zakharyaschev
PY  - 2018
UR  - https://arxiv.org/abs/1703.08982
ID  - 1703.08982
ER  -