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

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list