Quantitative Analysis of Communication Scenarios
| Title | Quantitative Analysis of Communication Scenarios |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Dubslaff, C, Baier, C |
| Conference Name | Proc. of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) |
| Publisher | Springer |
Work Package:
WP1
