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

Ano de publicación: 2018

Volume: 18

Número: 2

Páxinas: 167-223

Tipo: Artigo

DOI: 10.1017/S1471068418000042 GOOGLE SCHOLAR
Fonte de datos: Scopus