%0 Journal Article %1 journals/infsof/GhezziS13 %A Ghezzi, Carlo %A Sharifloo, Amir Molzam %D 2013 %J Information & Software Technology %K dblp %N 3 %P 508-524 %T Model-based verification of quantitative non-functional properties for software product lines. %U http://dblp.uni-trier.de/db/journals/infsof/infsof55.html#GhezziS13 %V 55

@article{journals/infsof/GhezziS13, added-at = {2013-02-08T00:00:00.000+0100}, author = {Ghezzi, Carlo and Sharifloo, Amir Molzam}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/258f142ed72250bac5b1e0618a3ae4034/dblp}, ee = {http://dx.doi.org/10.1016/j.infsof.2012.07.017}, interhash = {0776bd86eaf0826d3004d01cb978e2d8}, intrahash = {58f142ed72250bac5b1e0618a3ae4034}, journal = {Information & Software Technology}, keywords = {dblp}, number = 3, pages = {508-524}, timestamp = {2016-02-02T10:39:28.000+0100}, title = {Model-based verification of quantitative non-functional properties for software product lines.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof55.html#GhezziS13}, volume = 55, year = 2013 }