|
[BEK+13]
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus Völp.
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Selec.
In Proc. NASA Formal Methods Symposium (NFM'13), pages 307-321.
2013.
[Verifies the Probabilistic-Write/Copy-Select (PWCS) protocol using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|