Reconciling real and stochastic time: the need for probabilistic refinement
| Title | Reconciling real and stochastic time: the need for probabilistic refinement |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Markovski, J, D'Argenio, PR, Baeten, JCM, de Vink, EP |
| Journal | Formal Aspects of Computing |
| Volume | 24 |
| Pagination | 497-518 |
| DOI | 10.1007/s00165-012-0230-y |
Work Package:
WP1
