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