Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- Lopez-Garcia, P.
- Darmawan, L.
- Klemen, M.
- Liqat, U.
- Bueno, F.
- Hermenegildo, M.V.
ISSN: 1475-3081, 1471-0684
Year of publication: 2018
Volume: 18
Issue: 2
Pages: 167-223
Type: Article