TY  - RPRT
TI  - Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption
AU  - Pedro Lopez-Garcia
AU  - Luthfi Darmawan
AU  - Maximiliano Klemen
AU  - Umer Liqat
AU  - Francisco Bueno
AU  - Manuel V. Hermenegildo
PY  - 2018
UR  - https://arxiv.org/abs/1803.04451
ID  - 1803.04451
ER  -