Quantitative Analysis of Communication Scenarios

TitleQuantitative Analysis of Communication Scenarios
Publication TypeConference Paper
Year of Publication2015
AuthorsDubslaff, C, Baier, C
Conference NameProc. of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
PublisherSpringer
Work Package: 
WP1