Probabilistic Model Checking for Energy Analysis in Software Product Lines. Dubslaff, C., Klüppelholz, S., & Baier, C. In Proc. Modularity (MODULARITY'14), pages 169–180, 2014. ACM. ![Probabilistic Model Checking for Energy Analysis in Software Product Lines [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link bibtex @inproceedings{DKB14,
Author = {C. Dubslaff and S. Kl{\"u}ppelholz and C. Baier},
Booktitle = {Proc. Modularity (MODULARITY'14)},
Ee = {http://doi.acm.org/10.1145/2577080.2577095},
Pages = {169--180},
Publisher = {ACM},
Title = {Probabilistic Model Checking for Energy Analysis in Software Product Lines},
Year = {2014}}
Downloads: 0
{"_id":"HPrYPevnKJqndejA7","bibbaseid":"dubslaff-klppelholz-baier-probabilisticmodelcheckingforenergyanalysisinsoftwareproductlines-2014","authorIDs":[],"author_short":["Dubslaff, C.","Klüppelholz, S.","Baier, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["C."],"propositions":[],"lastnames":["Dubslaff"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Klüppelholz"],"suffixes":[]},{"firstnames":["C."],"propositions":[],"lastnames":["Baier"],"suffixes":[]}],"booktitle":"Proc. Modularity (MODULARITY'14)","ee":"http://doi.acm.org/10.1145/2577080.2577095","pages":"169–180","publisher":"ACM","title":"Probabilistic Model Checking for Energy Analysis in Software Product Lines","year":"2014","bibtex":"@inproceedings{DKB14,\n\tAuthor = {C. Dubslaff and S. Kl{\\\"u}ppelholz and C. Baier},\n\tBooktitle = {Proc. Modularity (MODULARITY'14)},\n\tEe = {http://doi.acm.org/10.1145/2577080.2577095},\n\tPages = {169--180},\n\tPublisher = {ACM},\n\tTitle = {Probabilistic Model Checking for Energy Analysis in Software Product Lines},\n\tYear = {2014}}\n\n","author_short":["Dubslaff, C.","Klüppelholz, S.","Baier, C."],"key":"DKB14","id":"DKB14","bibbaseid":"dubslaff-klppelholz-baier-probabilisticmodelcheckingforenergyanalysisinsoftwareproductlines-2014","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/2577080.2577095"},"downloads":0},"bibtype":"inproceedings","biburl":"https://edgecloud.de/main.bib","creationDate":"2020-07-22T13:21:44.853Z","downloads":0,"keywords":[],"search_terms":["probabilistic","model","checking","energy","analysis","software","product","lines","dubslaff","klüppelholz","baier"],"title":"Probabilistic Model Checking for Energy Analysis in Software Product Lines","year":2014,"dataSources":["TeJe2rTmEWBM8PPwx"]}