Probabilistic Bisimulation for Realistic Schedulers
| Title | Probabilistic Bisimulation for Realistic Schedulers |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Eisentraut, C, Godskesen, JC, Hermanns, H, Song, L, Zhang, L |
| Conference Name | {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| URL | http://dx.doi.org/10.1007/978-3-319-19249-9_16 |
| DOI | 10.1007/978-3-319-19249-9_16 |
Work Package:
WP1
