Skip to content

Minimizing Running Costs in Consumption Systems.

Toms Brzdil, David Klaska, Antonn Kucera, Petr Novotn

VenueA*CAV
Year2014
ProceedingsCAV

Browse the full CAV paper archive.