%0 Journal Article %1 journals/corr/DubslaffKB13 %A Dubslaff, Clemens %A Klüppelholz, Sascha %A Baier, Christel %D 2013 %J CoRR %K %T Probabilistic Model Checking for Energy Analysis in Software Product Lines. %U http://dblp.uni-trier.de/db/journals/corr/corr1312.html#DubslaffKB13 %V abs/1312.7758

@article{journals/corr/DubslaffKB13, added-at = {2023-12-12T23:38:19.000+0100}, author = {Dubslaff, Clemens and Klüppelholz, Sascha and Baier, Christel}, biburl = {https://www.bibsonomy.org/bibtex/25f8ef2f11a763cf024e4496b6453d362/admin}, ee = {http://arxiv.org/abs/1312.7758}, interhash = {583c7147e9dcf227b7e5c16f92eb8947}, intrahash = {5f8ef2f11a763cf024e4496b6453d362}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T23:38:19.000+0100}, title = {Probabilistic Model Checking for Energy Analysis in Software Product Lines.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1312.html#DubslaffKB13}, volume = {abs/1312.7758}, year = 2013 }