%0 Conference Paper %1 conf/sigsoft/LlerenaSR17 %A Llerena, Yamilet R. Serrano %A Su, Guoxin %A Rosenblum, David S. %B ESEC/SIGSOFT FSE %D 2017 %E Bodden, Eric %E Schäfer, Wilhelm %E van Deursen, Arie %E Zisman, Andrea %I ACM %K dblp %P 454-464 %T Probabilistic model checking of perturbed MDPs with applications to cloud computing. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#LlerenaSR17 %@ 978-1-4503-5105-8

@inproceedings{conf/sigsoft/LlerenaSR17, added-at = {2020-10-25T00:00:00.000+0200}, author = {Llerena, Yamilet R. Serrano and Su, Guoxin and Rosenblum, David S.}, biburl = {https://www.bibsonomy.org/bibtex/2a6245437878186ba2037729b7e331cd9/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2017}, editor = {Bodden, Eric and Schäfer, Wilhelm and van Deursen, Arie and Zisman, Andrea}, ee = {https://doi.org/10.1145/3106237.3106301}, interhash = {54f692495b1ef69497d2c0eb1849024c}, intrahash = {a6245437878186ba2037729b7e331cd9}, isbn = {978-1-4503-5105-8}, keywords = {dblp}, pages = {454-464}, publisher = {ACM}, timestamp = {2024-04-09T17:52:12.000+0200}, title = {Probabilistic model checking of perturbed MDPs with applications to cloud computing.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#LlerenaSR17}, year = 2017 }