Clemens Dubslaff, Sascha Klüppelholz, Christel Baier. Probabilistic model checking for energy analysis in software product lines. In Walter Binder, Erik Ernst, Achille Peternier, Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. pages 169-180, ACM, 2014. [doi]
@inproceedings{DubslaffKB14,
title = {Probabilistic model checking for energy analysis in software product lines},
author = {Clemens Dubslaff and Sascha Klüppelholz and Christel Baier},
year = {2014},
doi = {10.1145/2577080.2577095},
url = {http://doi.acm.org/10.1145/2577080.2577095},
researchr = {https://researchr.org/publication/DubslaffKB14},
cites = {0},
citedby = {0},
pages = {169-180},
booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
publisher = {ACM},
isbn = {978-1-4503-2772-5},
}