Computing Behavioral Relations for Probabilistic Concurrent Systems

TitleComputing Behavioral Relations for Probabilistic Concurrent Systems
Publication TypeConference Paper
Year of Publication2012
AuthorsGebler, D, Hashemi, V, Turrini, A
Conference Name{ROCKS}
URLhttp://dx.doi.org/10.1007/978-3-662-45489-3_5
DOI10.1007/978-3-662-45489-3_5
Work Package: 
WP1