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.
Zeitschrift:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Datum der Publikation: 2018

Ausgabe: 18

Nummer: 2

Seiten: 167-223

Art: Artikel

DOI: 10.1017/S1471068418000042 GOOGLE SCHOLAR
Datenquelle: Scopus