%0 Journal Article %1 journals/corr/LiqatBLH16 %A Liqat, Umer %A Bankovic, Zorana %A López-García, Pedro %A Hermenegildo, Manuel V. %D 2016 %J CoRR %K dblp %T Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. %U http://dblp.uni-trier.de/db/journals/corr/corr1601.html#LiqatBLH16 %V abs/1601.02800

@article{journals/corr/LiqatBLH16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Liqat, Umer and Bankovic, Zorana and López-García, Pedro and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/23dcbd7283b9d90c8f6b9669041ed81b4/dblp}, ee = {http://arxiv.org/abs/1601.02800}, interhash = {23bdffbb6602a74815d934b86add2f03}, intrahash = {3dcbd7283b9d90c8f6b9669041ed81b4}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:31:24.000+0200}, title = {Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1601.html#LiqatBLH16}, volume = {abs/1601.02800}, year = 2016 }