Non-cumulative Resource Analysis.

Elvira Albert, Jess Correas Fernndez, Guillermo Romn-Dez

Browse the full TACAS paper archive.