Computing Behavioral Relations for Probabilistic Concurrent Systems
| Title | Computing Behavioral Relations for Probabilistic Concurrent Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Gebler, D, Hashemi, V, Turrini, A |
| Conference Name | {ROCKS} |
| URL | http://dx.doi.org/10.1007/978-3-662-45489-3_5 |
| DOI | 10.1007/978-3-662-45489-3_5 |
Work Package:
WP1
