On the inference of resource usage upper and lower bounds
- Albert, E.
- Genaim, S.
- Masud, A.N.
ISSN: 1529-3785, 1557-945X
Argitalpen urtea: 2013
Alea: 14
Zenbakia: 3
Mota: Artikulua
Aldizkaria:
ACM Transactions on Computational Logic