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

Ano de publicación: 2013

Volume: 14

Número: 3

Tipo: Artigo

DOI: 10.1145/2499937.2499943 GOOGLE SCHOLAR
Fonte de datos: Scopus