cfaed Publications
Locks: Picking key methods for a scalable quantitative analysis
Reference
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp, "Locks: Picking key methods for a scalable quantitative analysis", In Journal of Computer and System Sciences, Elsevier, vol. 81, no. 1, pp. 258–287, 2015. [doi]
Bibtex
@article{baier2015locks,
title={Locks: Picking key methods for a scalable quantitative analysis},
author={Baier, Christel and Daum, Marcus and Engel, Benjamin and H{\"a}rtig, Hermann and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"a}rcker, Steffen and Tews, Hendrik and V{\"o}lp, Marcus},
journal={Journal of Computer and System Sciences},
volume={81},
number={1},
pages={258--287},
year={2015},
publisher={Elsevier},
doi={10.1016/j.jcss.2014.06.004}
}
title={Locks: Picking key methods for a scalable quantitative analysis},
author={Baier, Christel and Daum, Marcus and Engel, Benjamin and H{\"a}rtig, Hermann and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"a}rcker, Steffen and Tews, Hendrik and V{\"o}lp, Marcus},
journal={Journal of Computer and System Sciences},
volume={81},
number={1},
pages={258--287},
year={2015},
publisher={Elsevier},
doi={10.1016/j.jcss.2014.06.004}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=62