cfaed Publications

Trade-off analysis meets probabilistic model checking

Reference

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, "Trade-off analysis meets probabilistic model checking" , Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1, 2014. [doi]

Bibtex

@inproceedings{baier2014trade,
title={Trade-off analysis meets probabilistic model checking},
author={Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha},
booktitle={Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
pages={1},
year={2014},
organization={ACM},
doi={10.1145/2603088.2603089}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list