cfaed Publications
Computing Conditional Probabilities: Implementation and Evaluation
Reference
Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz, "Computing Conditional Probabilities: Implementation and Evaluation", In Proceeding: Proc. of the 15th International Conference on Software Engineering and Formal Methods (SEFM), 2017.
Bibtex
@inproceedings{MBKK17,
author = {Steffen M{\"a}rcker and Christel Baier and Joachim Klein and Sascha Kl{\"u}ppelholz},
title = {Computing Conditional Probabilities: Implementation and Evaluation},
booktitle = {Proc. of the 15th International Conference on Software Engineering and Formal Methods (SEFM)},
year = {2017},
note = {Accepted for publication},
}
author = {Steffen M{\"a}rcker and Christel Baier and Joachim Klein and Sascha Kl{\"u}ppelholz},
title = {Computing Conditional Probabilities: Implementation and Evaluation},
booktitle = {Proc. of the 15th International Conference on Software Engineering and Formal Methods (SEFM)},
year = {2017},
note = {Accepted for publication},
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1555