Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
| Title | Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Katoen, J-P, Peled, D |
| Conference Name | Programming Languages and Systems, ESOP 2013 |
| Publisher | Springer |
Work Package:
WP1
