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},
}
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