@conference {85, title = {A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select}, booktitle = {NASA Formal Methods, 5th Symposium, NFM13}, series = {Lecture Notes in Computer Science}, volume = {7871}, year = {2013}, pages = {307-321}, publisher = {Springer}, organization = {Springer}, doi = {10.1007/978-3-642-38088-4_21}, author = {Christel Baier and Benjamin Engel and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker and Hendrik Tews and Marcus V{\"o}lp} }