cfaed Publications
Composition of Stochastic Transition Systems Based on Spans and Couplings
Reference
Daniel Gburek, Christel Baier, Sascha Klüppelholz, "Composition of Stochastic Transition Systems Based on Spans and Couplings", In Proceeding: Proc. of the 43rd International Colloquium on Automata, Languages and Programming (ICALP), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 55, pp. 102:1–102:15, 2016.
Bibtex
@inproceedings{GBK16,
author = {Daniel Gburek and Christel Baier and Sascha Kl{\"u}ppelholz},
title = {Composition of Stochastic Transition Systems Based on Spans and Couplings},
booktitle = {Proc. of the 43rd International Colloquium on Automata, Languages and Programming (ICALP)},
year = {2016},
volume = {55},
pages = {102:1--102:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
}
author = {Daniel Gburek and Christel Baier and Sascha Kl{\"u}ppelholz},
title = {Composition of Stochastic Transition Systems Based on Spans and Couplings},
booktitle = {Proc. of the 43rd International Colloquium on Automata, Languages and Programming (ICALP)},
year = {2016},
volume = {55},
pages = {102:1--102:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1196