A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
| Title | A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Baier, C, Engel, B, Klüppelholz, S, Märcker, S, Tews, H, Völp, M |
| Conference Name | NASA Formal Methods, 5th Symposium, NFM13 |
| Publisher | Springer |
| DOI | 10.1007/978-3-642-38088-4_21 |
Work Package:
WP1
