cfaed Publications

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.

Reference

Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp, "A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select." , In Proceeding: NASA Formal Methods, pp. 307–321, 2013. [doi]

Bibtex

@inproceedings{baier2013probabilistic,
title={A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.},
author={Baier, Christel and Engel, Benjamin and Kl{\"u}ppelholz, Sascha and M{\"a}rcker, Steffen and Tews, Hendrik and V{\"o}lp, Marcus},
booktitle={NASA Formal Methods},
pages={307--321},
year={2013},
organization={Springer},
doi={10.1007/978-3-642-38088-4_21}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=53


Go back to publications list