Asymptotic Resource Usage Bounds (2009)

by E Albert, P Arenas, D Alonso, S Genaim, G Puebla
Venue:In APLAS, volume 5904 of LNCS