@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}
}