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

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list