cfaed Publications

Greener Bits: Formal Analysis of Demand Response

Reference

Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich, "Greener Bits: Formal Analysis of Demand Response" , In Proceeding: Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, vol. 9938, pp. 323–339, 2016. [doi]

Bibtex

@inproceedings{BKMNW16,
author = {Christel Baier and Sascha Kl{\"u}ppelholz and Hermann de Meer and Florian Niedermeier and Sascha Wunderlich},
title = {Greener Bits: Formal Analysis of Demand Response},
booktitle = {Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA)},
pages = {323--339},
year = {2016},
doi = {10.1007/978-3-319-46520-3_21},
series = {Lecture Notes in Computer Science},
volume = {9938},
publisher = {Springer},
ee = {http://dx.doi.org/10.1007/978-3-319-46520-3_21},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1194


Go back to publications list