@article{journals/corr/Lopez-GarciaHKL15,
  added-at = {2016-01-02T00:00:00.000+0100},
  author = {López-García, Pedro and Haemmerlé, Rémy and Klemen, Maximiliano and Liqat, Umer and Hermenegildo, Manuel V.},
  biburl = {http://www.bibsonomy.org/bibtex/21671b9a66263944f76f39955fe903172/dblp},
  ee = {http://arxiv.org/abs/1512.09369},
  interhash = {9cca896826c65a51ae8bdf6a28d7261c},
  intrahash = {1671b9a66263944f76f39955fe903172},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2016-01-05T11:37:04.000+0100},
  title = {Towards Energy Consumption Verification via Static Analysis.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1512.html#Lopez-GarciaHKL15},
  volume = {abs/1512.09369},
  year = 2015
}

{"_id":"iWCY6ddeB8mBPf2FA","bibbaseid":"lpezgarca-haemmerl-klemen-liqat-hermenegildo-towardsenergyconsumptionverificationviastaticanalysis-2015","downloads":0,"creationDate":"2016-02-09T06:01:10.498Z","title":"Towards Energy Consumption Verification via Static Analysis.","author_short":["López-García, P.","Haemmerlé, R.","Klemen, M.","Liqat, U.","Hermenegildo, M. V."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Krishnakumar, V?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2016-01-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["López-García"],"firstnames":["Pedro"],"suffixes":[]},{"propositions":[],"lastnames":["Haemmerlé"],"firstnames":["Rémy"],"suffixes":[]},{"propositions":[],"lastnames":["Klemen"],"firstnames":["Maximiliano"],"suffixes":[]},{"propositions":[],"lastnames":["Liqat"],"firstnames":["Umer"],"suffixes":[]},{"propositions":[],"lastnames":["Hermenegildo"],"firstnames":["Manuel","V."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/21671b9a66263944f76f39955fe903172/dblp","ee":"http://arxiv.org/abs/1512.09369","interhash":"9cca896826c65a51ae8bdf6a28d7261c","intrahash":"1671b9a66263944f76f39955fe903172","journal":"CoRR","keywords":"dblp","timestamp":"2016-01-05T11:37:04.000+0100","title":"Towards Energy Consumption Verification via Static Analysis.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1512.html#Lopez-GarciaHKL15","volume":"abs/1512.09369","year":"2015","bibtex":"@article{journals/corr/Lopez-GarciaHKL15,\n added-at = {2016-01-02T00:00:00.000+0100},\n author = {López-García, Pedro and Haemmerlé, Rémy and Klemen, Maximiliano and Liqat, Umer and Hermenegildo, Manuel V.},\n biburl = {http://www.bibsonomy.org/bibtex/21671b9a66263944f76f39955fe903172/dblp},\n ee = {http://arxiv.org/abs/1512.09369},\n interhash = {9cca896826c65a51ae8bdf6a28d7261c},\n intrahash = {1671b9a66263944f76f39955fe903172},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2016-01-05T11:37:04.000+0100},\n title = {Towards Energy Consumption Verification via Static Analysis.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1512.html#Lopez-GarciaHKL15},\n volume = {abs/1512.09369},\n year = 2015\n}\n\n","author_short":["López-García, P.","Haemmerlé, R.","Klemen, M.","Liqat, U.","Hermenegildo, M. V."],"key":"journals/corr/Lopez-GarciaHKL15","id":"journals/corr/Lopez-GarciaHKL15","bibbaseid":"lpezgarca-haemmerl-klemen-liqat-hermenegildo-towardsenergyconsumptionverificationviastaticanalysis-2015","role":"author","urls":{"Link":"http://arxiv.org/abs/1512.09369","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1512.html#Lopez-GarciaHKL15"},"keyword":["dblp"],"downloads":0},"search_terms":["towards","energy","consumption","verification","via","static","analysis","lópez-garcía","haemmerlé","klemen","liqat","hermenegildo"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcwuM7Zzcbynrts5v"]}