On the inference of resource usage upper and lower bounds

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

ISSN: 1529-3785,  1557-945X

Datum der Publikation: 2013

Ausgabe: 14

Nummer: 3

Art: Artikel

DOI: 10.1145/2499937.2499943 GOOGLE SCHOLAR
Datenquelle: Scopus