%0 Conference Paper %1 conf/sigsoft/LlerenaBBSR18 %A Llerena, Yamilet R. Serrano %A Böhme, Marcel %A Brünink, Marc %A Su, Guoxin %A Rosenblum, David S. %B ESEC/SIGSOFT FSE %D 2018 %E Leavens, Gary T. %E Garcia, Alessandro %E Pasareanu, Corina S. %I ACM %K dblp %P 587-597 %T Verifying the long-run behavior of probabilistic system models in the presence of uncertainty. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2018.html#LlerenaBBSR18 %@ 978-1-4503-5573-5

@inproceedings{conf/sigsoft/LlerenaBBSR18, added-at = {2020-10-25T00:00:00.000+0200}, author = {Llerena, Yamilet R. Serrano and Böhme, Marcel and Brünink, Marc and Su, Guoxin and Rosenblum, David S.}, biburl = {https://www.bibsonomy.org/bibtex/288a68851c3e0c9c3b077382dde3a7bf7/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2018}, editor = {Leavens, Gary T. and Garcia, Alessandro and Pasareanu, Corina S.}, ee = {https://doi.org/10.1145/3236024.3236078}, interhash = {066850cb9ff47f77a0f57cae120d2150}, intrahash = {88a68851c3e0c9c3b077382dde3a7bf7}, isbn = {978-1-4503-5573-5}, keywords = {dblp}, pages = {587-597}, publisher = {ACM}, timestamp = {2024-04-09T17:53:01.000+0200}, title = {Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2018.html#LlerenaBBSR18}, year = 2018 }