On the inference of resource usage upper and lower bounds

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

ISSN: 1529-3785,  1557-945X

Year of publication: 2013

Volume: 14

Issue: 3

Type: Article

DOI: 10.1145/2499937.2499943 GOOGLE SCHOLAR
Data source: Scopus