%0 Conference Paper %1 conf/qosa/GallottiGMT08 %A Gallotti, Stefano %A Ghezzi, Carlo %A Mirandola, Raffaela %A Tamburrelli, Giordano %B QoSA %D 2008 %E Becker, Steffen %E Plásil, Frantisek %E Reussner, Ralf H. %I Springer %K dblp %P 119-134 %T Quality Prediction of Service Compositions through Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/conf/qosa/qosa2008.html#GallottiGMT08 %V 5281 %@ 978-3-540-87878-0

@inproceedings{conf/qosa/GallottiGMT08, added-at = {2021-10-14T00:00:00.000+0200}, author = {Gallotti, Stefano and Ghezzi, Carlo and Mirandola, Raffaela and Tamburrelli, Giordano}, biburl = {https://www.bibsonomy.org/bibtex/2ec6f0ea3afdeb240682c032f25ae37a7/dblp}, booktitle = {QoSA}, crossref = {conf/qosa/2008}, editor = {Becker, Steffen and Plásil, Frantisek and Reussner, Ralf H.}, ee = {https://doi.org/10.1007/978-3-540-87879-7_8}, interhash = {0b9c7ac4d9975da0e8449699a80f2c33}, intrahash = {ec6f0ea3afdeb240682c032f25ae37a7}, isbn = {978-3-540-87878-0}, keywords = {dblp}, pages = {119-134}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:14:38.000+0200}, title = {Quality Prediction of Service Compositions through Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/qosa/qosa2008.html#GallottiGMT08}, volume = 5281, year = 2008 }