On the inference of resource usage upper and lower bounds

  1. Albert, E.
  2. Genaim, S.
  3. Masud, A.N.
Revista:
ACM Transactions on Computational Logic

ISSN: 1529-3785,  1557-945X

Año de publicación: 2013

Volumen: 14

Número: 3

Tipo: Artículo

DOI: 10.1145/2499937.2499943 GOOGLE SCHOLAR
Fuente de los datos: Scopus