%0 Conference Paper %1 conf/splc/GhezziS11 %A Ghezzi, Carlo %A Sharifloo, Amir Molzam %B SPLC %D 2011 %E de Almeida, Eduardo Santana %E Kishi, Tomoji %E Schwanninger, Christa %E John, Isabel %E Schmid, Klaus %I IEEE Computer Society %K dblp %P 170-174 %T Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. %U http://dblp.uni-trier.de/db/conf/splc/splc2011.html#GhezziS11 %@ 978-1-4577-1029-2

@inproceedings{conf/splc/GhezziS11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ghezzi, Carlo and Sharifloo, Amir Molzam}, biburl = {https://www.bibsonomy.org/bibtex/265d95c4e015aee2aaee99c671f4bb660/dblp}, booktitle = {SPLC}, crossref = {conf/splc/2011}, editor = {de Almeida, Eduardo Santana and Kishi, Tomoji and Schwanninger, Christa and John, Isabel and Schmid, Klaus}, ee = {https://doi.ieeecomputersociety.org/10.1109/SPLC.2011.33}, interhash = {53122f5bc01c67bb71e688f892dba4f0}, intrahash = {65d95c4e015aee2aaee99c671f4bb660}, isbn = {978-1-4577-1029-2}, keywords = {dblp}, pages = {170-174}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:30:35.000+0200}, title = {Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/splc/splc2011.html#GhezziS11}, year = 2011 }