Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption

  1. Lopez-Garcia, P.
  2. Darmawan, L.
  3. Klemen, M.
  4. Liqat, U.
  5. Bueno, F.
  6. Hermenegildo, M.V.
Revista:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Any de publicació: 2018

Volum: 18

Número: 2

Pàgines: 167-223

Tipus: Article

DOI: 10.1017/S1471068418000042 GOOGLE SCHOLAR
Font de les dades: Scopus