%0 Conference Proceedings %T Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids %A Tronci, E. %A Mancini, T. %A Mari, F. %A Melatti, I. %A Salvo, I. %A Prodanovic, M. %A Gruber, J. K. %A Hayes, B. %A Elmegaard, L. %B Proceedings of the 5th IEEE International Conference On Smart Grid Communications (SmartGridComm 2014) %D 2014 %F Tronci_etal2014 %O exported from refbase (show.php?record=43), last updated on Fri, 18 Mar 2016 23:02:35 +0100 %U papers/tronci/2014/43_Tronci_etal2014.pdf %U http://dx.doi.org/10.1109/SmartGridComm.2014.7007745