cfaed Publications
Quantitative Analysis of Communication Scenarios
Reference
Clemens Dubslaff, Christel Baier, "Quantitative Analysis of Communication Scenarios", Chapter in Formal Modeling and Analysis of Timed Systems, Springer, pp. 76–92, 2015.
Bibtex
@incollection{dubslaff2015quantitative,
title={Quantitative Analysis of Communication Scenarios},
author={Dubslaff, Clemens and Baier, Christel},
booktitle={Formal Modeling and Analysis of Timed Systems},
pages={76--92},
year={2015},
publisher={Springer}
}
title={Quantitative Analysis of Communication Scenarios},
author={Dubslaff, Clemens and Baier, Christel},
booktitle={Formal Modeling and Analysis of Timed Systems},
pages={76--92},
year={2015},
publisher={Springer}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=516