2012-07-01
Reconciling real and stochastic time: the need for probabilistic refinement
Publication
Publication
Formal Aspects of Computing , Volume 24 - Issue 4-6 p. 497- 518
| Additional Metadata | |
|---|---|
| Springer | |
| Formal Aspects of Computing | |
| Organisation | Directie |
|
Markovski, J., Argenio, P. R., Baeten, J., & de Vink, E. (2012). Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects of Computing, 24(4-6), 497–518. |
|